It would be nice to read/write more than 3 decimal place accuracy from/to an external file.

file_flt_write (for "float" values)
file_flt_read

file_dbl_write (for "double" values)
file_dbl_read