Fix float formatting
New behavior for write_float_prec and write_std_float_prec: print given
number of significant figures rather than number of decimal places.