New functions write_float_prec and write_std_float_prec