[math-fun] Irrational constants