benchmarking Poly/ML & floating point

[Henry Cejtin]

Sorry, perhaps I only mail'd it to Stephen.

I'm pretty certain that ANSI C does NOT require that if you do
	if (x == y)
		???
to generate a test if x is equal to y and a jump if the test fails.  I think
that it is allowed (and I have seen compilers that do this) to test if x is
not equal to y and to jump if the test succeeds.  This assumes that
	x == y
is the same as
	! (x != y)
which is false, but I think allowed.
It really is a mess.