[math-fun] Can someone identify this number?