A decimal floating-point specification | IEEE Conference Publication | IEEE Xplore