[math-fun] Dating the collision that formed the Moon