Is the square root of 1/4 a rational number