let di_regexp = Pcre.regexp "[0-9.]+"