Interval arithmetic for Ada

Interval arithmetic for Ada 提供实现 Ada 间隔的功能，包括算术和关系操作。