fixes issue #7965

This is true if exp.is_positive