let
is_zero x = (sgn x) = 0