let
nonnumregexp =
Str
.regexp
"[^0-9]+"