add bool to checked arithmetic