Cleanup fmod vs IEEE remainder#7885

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

tautschnig:cleanup/floatbv-mod-remtautschnig/cbmc:cleanup/floatbv-mod-remCopy head branch name to clipboard