https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic