Expand description

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