miri: make float min/max non-deterministic#136348

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

RalfJung:miri-float-min-maxRalfJung/rust:miri-float-min-maxCopy head branch name to clipboard