Isometry.map() treats correctly InfPoints.