Fix #1297: Make 0.0.equals(-0.0) be false.