benchmarking Poly/ML & floating point

[Stephen Weeks]

I don't think I actually need inline assembler for Real_equal, I just need a
procedure call boundary.  Does the following seem OK?

Int Real_equal(Double x1, Double x2) {
	return x1 == x2;
}

It used to be

#define Real_equal(x1,x2) ((x1) == (x2))