Expand description

Implementations of CheckedSubMul, a trait for subtracting the product of two numbers from another number, and checking whether the result is representable.