CheckedMul, a trait for multiplying two numbers and checking whether the result is representable.
CheckedMul