provides support for interval types, that is, introduces:
Interval_traits
Bigfloat_interval_traits
