Generator for well-ordered values, appropriate for use as sorting keys