--* From bmt@spadserv.watson.ibm.com  Fri Nov 13 11:28:20 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA15496; Fri, 13 Nov 1992 11:28:20 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23912; Fri, 13 Nov 1992 11:31:13 -0500
--* Date: Fri, 13 Nov 1992 11:31:13 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9211131631.AA23912@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: axc -r -D TestRun prints out SingleFloats but numbers declare as DoubleFloats
--@ Fixed  by: JMS Tue Nov 17 14:32:02 1992
--@ Tested by: f11.ax
--@ Summary:   Print double floats with precision of 16 in output.c