add range_type to `from_integer`/`to_integer`#8520

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

range_type_arith_toolsdiffblue/cbmc:range_type_arith_toolsCopy head branch name to clipboard