is_zero

as discussed in #8516