Rational_point loading ...