with any_Math.any_fast_Trigonometry; package float_Math.fast_Trigonometry is new float_Math.any_fast_Trigonometry;