add simple case for Integral.is_zero