DB<125>  sort 1..12
 => (1, 10, 11, 12, 2, 3, 4, 5, 6, 7, 8, 9)