Inversive_geometry loading ...