but I guess we aren't calculating with these floats, just testing after conversion, and the conversion should be deterministic, right?  
not sure whether to be extra paranoid or not.