Rational_singularity loading ...