Rational_trigonometry loading ...