4 ms·oops.. looks like someone forgot about natural ordering on some of those sorts.by k_roy 2y agooops.. looks like someone forgot about natural ordering on some of those sorts.