T(RN,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,         -0x0p+0,         -0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,         -0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,         -0x0p+0,          0x0p+0,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
T(RN,          0x0p+0,         -0x0p+0,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
T(RN,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,          0x0p+0,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
T(RN,          0x0p+0,          0x0p+0,             nan,             nan,          0x0p+0, 0)
T(RN,          0x0p+0,             nan,          0x0p+0,             nan,          0x0p+0, 0)
T(RN,             nan,          0x0p+0,          0x0p+0,             nan,          0x0p+0, 0)
T(RN,          0x0p+0,          0x0p+0,             inf,             inf,          0x0p+0, 0)
T(RN,          0x0p+0,             inf,          0x0p+0,             nan,          0x0p+0, INVALID)
T(RN,             inf,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
T(RN,          0x0p+0,          0x0p+0,            -inf,            -inf,          0x0p+0, 0)
T(RN,          0x0p+0,            -inf,          0x0p+0,             nan,          0x0p+0, INVALID)
T(RN,            -inf,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
T(RN,          0x1p+0,             inf,             inf,             inf,          0x0p+0, 0)
T(RN,          0x1p+0,             inf,            -inf,             nan,          0x0p+0, INVALID)
T(RN,          0x1p+0,            -inf,            -inf,            -inf,          0x0p+0, 0)
T(RN,          0x1p+0,            -inf,             inf,             nan,          0x0p+0, INVALID)
T(RN,         -0x1p+0,             inf,             inf,             nan,          0x0p+0, INVALID)
T(RN,         -0x1p+0,             inf,            -inf,            -inf,          0x0p+0, 0)
T(RN,         -0x1p+0,            -inf,            -inf,             nan,          0x0p+0, INVALID)
T(RN,         -0x1p+0,            -inf,             inf,             inf,          0x0p+0, 0)
T(RN,          0x1p+0,          0x1p+0,             inf,             inf,          0x0p+0, 0)
T(RN,          0x1p+0,          0x1p+0,            -inf,            -inf,          0x0p+0, 0)
T(RN,             inf,            -inf,          0x1p+0,            -inf,          0x0p+0, 0)
T(RN,            -inf,            -inf,          0x1p+0,             inf,          0x0p+0, 0)
T(RN,             inf,             inf,             nan,             nan,          0x0p+0, 0)
T(RN,             inf,             nan,             inf,             nan,          0x0p+0, 0)
T(RN,             nan,             inf,             inf,             nan,          0x0p+0, 0)
// TODO: invalid is optional
T(RN,             inf,          0x0p+0,             nan,             nan,          0x0p+0, INVALID)
T(RN,          0x0p+0,             inf,             nan,             nan,          0x0p+0, INVALID)
T(RN,            -inf,          0x0p+0,             nan,             nan,          0x0p+0, INVALID)
T(RN,          0x0p+0,            -inf,             nan,             nan,          0x0p+0, INVALID)
T(RN,        0x1p-120,        0x1p-120,        0x1p-149,        0x1p-149,        -0x1p-91, INEXACT|UNDERFLOW)
T(RN,          0x1p+0,          0x1p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
T(RN,          0x1p+0,         -0x1p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
T(RN,         -0x1p+0,         -0x1p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
T(RD,          0x1p+0,          0x1p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
T(RD,          0x1p+0,         -0x1p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
T(RD,         -0x1p+0,         -0x1p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
T(RD,        0x1p-120,        0x1p-120,        0x1p-149,        0x1p-149,        -0x1p-91, INEXACT|UNDERFLOW)
T(RU,        0x1p-120,        0x1p-120,        0x1p-149,        0x1p-148,          0x1p+0, INEXACT|UNDERFLOW)
T(RZ,        0x1p-120,        0x1p-120,        0x1p-149,        0x1p-149,        -0x1p-91, INEXACT|UNDERFLOW)