Expand description

CheckedSub, a trait for subtracting two numbers and checking whether the result is representable.