Currently 1/3 != 1./3 because such fractions cannot be represented exactly in
binary.  Fixing it might slow comparison down.  Is it okay?
