let sof = string_of_float