Proposal for Arithmetic Specification in FORTRAN 8x