[math-fun] Hyperbolic asteroids