--* From bmt@spadserv.watson.ibm.com  Tue Nov 17 15:46:10 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17804; Tue, 17 Nov 1992 15:46:10 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20203; Tue, 17 Nov 1992 15:49:13 -0500
--* Date: Tue, 17 Nov 1992 15:49:13 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9211172049.AA20203@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: Assertion failed, ..tfsat.c during compilation
--@ Fixed  by: SSD Mon May 17 14:49:08 1993
--@ Tested by: ../aslib/float.as
--@ Summary:   relaxed assertion in the presence of type check errors