add simple case for Integral.is_zero
Merge pull request #7440 from smichr/is_zero

add simple case for Integral.is_zero