Split `ieee_floatt` into `ieee_float_valuet` and `ieee_floatt`#8550

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

ieee_float_valuetdiffblue/cbmc:ieee_float_valuetCopy head branch name to clipboard