--* From bmt@spadserv.watson.ibm.com  Tue Nov 17 13:57:56 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18085; Tue, 17 Nov 1992 13:57:56 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20835; Tue, 17 Nov 1992 14:00:59 -0500
--* Date: Tue, 17 Nov 1992 14:00:59 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9211171900.AA20835@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: compiling with -M no-emax gets Assertion failed in tfsat.c
--@ Fixed  by: SSD Mon May 17 14:48:19 1993
--@ Tested by: ../aslib/float.as
--@ Summary:   relaxed the assertion in the presence of type check errors