int(1/sqrt(2