Hyperbolic_geometry loading ...