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