Built-in sort for floating point numbers

Google Group
1

Here is an example showing how the ‘float’ sort can be used:

This is for verification involving floating point numbers. I put it here so
that this sort can be found
by a simple search.