Interval arithmetic for Ada ist eine Bibliothek, die eine Implementation von Intervallen für Ada bereitstellt. Sie enthält arithmetische und relationale Operationen. (non)