Approximating Square Root 2 in Minecraft