The kaucher_interval<T> class represents a Kaucher interval number of the given template type T. The class checks that the latter type T matches one of the following types by a static_assert, this is to ensure that the class only gets instantiated for types that are actually implemented. The following types are supported:
float
double
long double