RFC: Scoped attributes for checked arithmetic