with any_Math.any_Geometry.any_d2; package float_math.Geometry.d2 is new float_Math.Geometry.any_d2; pragma Pure (float_math.Geometry.d2);