gyro: stuff for 3D hyperbolic geometry