benchmarking Poly/ML & floating point

Henry Cejtin henry@sourcelight.com
Mon, 11 Sep 2000 18:40:22 -0500


The fact that it does different stuff on Real_nequal may be an indication that
they are trying to do the right (i.e., IEEE) thing.  I.e., the text
	x != y
should fail if x or y is a NAN according to IEEE (right?) and perhaps their
code does.