Διάστημα αριθμητική για Ada είναι μια βιβλιοθήκη μαθηματικών που παρέχει μια εφαρμογή των διαστημάτων για Ada. Περιλαμβάνει αριθμητική και συναφείς λειτουργίες.Παραδείγματα:Τρι-κρατική λογικήΤα διαστήματα πακέτο χρησιμεύει ως ένα πακέτο ρίζα και επίσης...