Fixed a bug in ModPointSet with infinity.