Implement correct semantics for unsigned int32 multiply