radix sort as a refinement