root 3 on the number line