Add assume_ieee_float#2232

Chris-Hawblitzel wants to merge 2 commits into

mainverus-lang/verus:mainfrom

ieee-float-axiomsverus-lang/verus:ieee-float-axiomsCopy head branch name to clipboard