Reverted to Interval being subtype of Number to avoid strange promotion problem with BigFloat