22.3.3 FORMAT Floating-Point Printers