Added promotion rule for creating intervals of mixed types like Interval(3//4, 5.0)