Float constant propagation must observe rounding modes#8772

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-350-float-constant-proptautschnig/cbmc:fix-350-float-constant-propCopy head branch name to clipboard