Double-precision IEEE floating-point arithmetic directive Format .T_FLOATING floating-point-number-list