https://thelogiclibrary.com/integer-operations/