Square Root Of Two

See BigInt.