Link to RFC: Scoped attributes for checked arithmetic