[Bug 1801897] New: Review Request: rust-float-ord - Total ordering for floating-point numbers