let
sof = string_of_float