let rec format resultin i k = if i=63 then resultin else
    format (resultin^(string_of_char (exStrin k).[i])^".0;") (i+1) k