fix Integral.is_zero detection
AppliedUndef.is_number is False
check for AppliedUndef in Integral.is_number
clarify purpose and scope of is_number