More accurate logic in Interval checking for real or infinity
Merge branch 'infinity_real' into assumptions