[math-fun] Atomic clock at precision 2.5e-19