--* From bmt@spadserv.watson.ibm.com  Tue Nov  3 16:54:32 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18452; Tue, 3 Nov 1992 16:54:32 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA15870; Tue, 3 Nov 1992 16:55:59 -0500
--* Date: Tue, 3 Nov 1992 16:55:59 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9211032155.AA15870@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: double floats are printing as single floats
--@ Fixed  by: JMS Tue Nov 17 14:41:17 1992
--@ Tested by: f11.ax
--@ Summary:   Print double floats with precision of 16 in output.c