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