Why though? We don't do any rounding in the point2 = point1 case, so it shouldn't matter.