Module _docs
This module serves additional documentations and no code.
Conformance to the standard
Introduction to interval arithmetic