Open prataprc opened 5 years ago
Total ordering is complex for floating point numbers. Adding to that in JSON, due to mixed type of integer and floating-point, total ordering need to be worked out across both integers and floats.
A detailed description for total ordering is covered here Also there is a discussion thread in users.rust-lang.org.
Total ordering is complex for floating point numbers. Adding to that in JSON, due to mixed type of integer and floating-point, total ordering need to be worked out across both integers and floats.
A detailed description for total ordering is covered here Also there is a discussion thread in users.rust-lang.org.