overflow-proof (cargo): Monadic checked arithmetic for Rust
Keywords: arithmetic|checked|overflow