Fix #1374: IntType, FloatType and DoubleType should not be exact.
Fix #1297: Make 0.0.equals(-0.0) be false.