Exact_trigonometric_values loading ...