cheque (cargo): Convenient checked math
Keywords: math|checked-arithmetic