> But after your mail, I gather that you can do qequal with one test, and if so, > then the right thing to do is to leave qequal as a primitive, and to make > mlton-lib.h do the right thing for Real_qequal. It's really too bad that your emails arrive just as I'm finishing the last paragraph on mine. ;)