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)