√2 to base 2