Convert pts of SML Interval from int -> real
Add Interval.width in SML