Ada numerics standardization and testing (ACM, 1991)