[math-fun] As long as we're talking astronomy