How do you find #abs( 1-isqrt3 )#?