Orivej Desh 3a15ea3ea5 Rename write_double to write_fp ... It handles all floating point types, not just doubles.		2019-10-12 11:41:24 -07:00
..
fmt	Rename write_double to write_fp	2019-10-12 11:41:24 -07:00