Expr._eval_is_negative and Expr._eval_is_positive check for extended_real instead of real
nan is neither infinite nor finite

This sets most facts about nan as False via automatic deduction.