sqrt(2) in binary