rbimpl_size_mul_overflow
`_umul128` is specific to x86_64 platform, see higher words by `__umulh` on arm64.