Real.maxFinite and friends

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Fri, 5 Oct 2001 18:54:46 -0400 (EDT)


> Hmmm...  what we should really do is have lookup-constants
> print floats as two words of hex and then read those into PackReal and
> convert.  

Probably better is to just read in two hex strings, and leave them as
strings.  Then just have RealHex globals that are two hex strings, and a
way of initializing a globaldouble[i] with those pair of hex strings.