miri: algebraic intrinsics: bring back float non-determinism#140439

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-algebraic-float-nondetRalfJung/rust:miri-algebraic-float-nondetCopy head branch name to clipboard