* M* ( a b -- m,m ) multiply and return a double-cell result
M*
( a b -- m,m )
core ordinary primitive