work on floating-point sort