clarify purpose and scope of is_number
fix Integral.is_zero detection