Fix issue 1072

This pull also fix summation(k, (k, 0, oo)) (was "nan") and add is_positive handler for factorial.