let
convert_to_float_list (s:string) =
List
.map (float_of_string) (
Str
.split nonnumregexp s)