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