explain mysterious addition in float minimum/maximum#115958

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

RalfJung:mystery-plusRalfJung/rust:mystery-plusCopy head branch name to clipboard