How do you find abs( 1-isqrt3 )?