6.5.3 Mixed precision

m+ ( d1 n – d2 ) double “m-plus”
m* ( n1 n2 – d ) core “m-star”
um* ( u1 u2 – ud ) core “u-m-star”