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