Clarify float rounding direction for signed zero#116355

Merged

bors merged 1 commit intorust-lang:masterfrom

orlp:signed-zero-rounding-mode

Oct 3, 2023

Commits on Oct 2, 2023

Clarify float rounding direction for signed zero
orlp
committed