Interval arithmetic as a number type.
Filtered_exact<CT,ET> as a generic filtering scheme for robust predicates.