DFPshort for decimal floating point.” (EMCppSfe 2021)