`ieee_floatt`: introduce `NOT_SET` rounding mode#8541

kroening wants to merge 1 commit intodevelopdiffblue/cbmc:developfrom

ieee_floatt_NOT_SETdiffblue/cbmc:ieee_floatt_NOT_SETCopy head branch name to clipboard