SquareRootOfTwo

Last edit June 5, 2013
See BigInt.