generalize cvt_float_to_str to cvt_float_to_str_with_fmt. Use the latter in print_pterm but not in write_canonical
Authored by: "kifer" 2018-06-08
Parent: [r9324]
Child: [r9326]