32-bit multiplication and velocity formula implementation