Integral.is number modifications

Modifications are made so that `is_number` and `evalf` agree: if the former is True the latter should be able to give the corresponding value as a Number.