Subject: fixbug
By: MND
Fixed: bug1164.as
--* From Manuel.Bronstein@sophia.inria.fr  Tue Jul 27 16:45:44 1999
--* Received: from droopix.inria.fr (IDENT:root@droopix.inria.fr [138.96.111.4])
--* 	by nagmx1.nag.co.uk (8.9.3/8.9.3) with ESMTP id QAA13697
--* 	for <ax-bugs@nag.co.uk>; Tue, 27 Jul 1999 16:45:30 +0100 (BST)
--* Received: by droopix.inria.fr (8.8.8/8.8.5) id RAA00341 for ax-bugs@nag.co.uk; Tue, 27 Jul 1999 17:41:38 +0200
--* Date: Tue, 27 Jul 1999 17:41:38 +0200
--* From: Manuel Bronstein <Manuel.Bronstein@sophia.inria.fr>
--* Message-Id: <199907271541.RAA00341@droopix.inria.fr>
--* To: ax-bugs@nag.co.uk
--* Subject: [8] max$DFlo is wrong

--@ Bug Number:  bug1164.as 
--@ Fixed  by:  MND   
--@ Tested by:  bug1164.as 
--@ Summary:    fintEval fixed to interpret casts to and from DFlo values 

-- Command line: axiomxl -ginterp dmax.as
-- Version: 1.1.12
-- Original bug file name: dmax.as

-------------------------- dmax.as ------------------------
--
-- max@DFlo from Machine is wrong
--
-- % axiomxl -ginterp dmax.as 
-- 3.40282347e+38
-- 138450904
--

#include "axllib"

import from SingleFloat, DoubleFloat;

print << max@SingleFloat << newline << max@DoubleFloat << newline;