DB<1> sub by_num { return $a <=> $b }

  DB<2> x [sort by_num 1,11,2,12]
0  ARRAY(0x334b888)
   0  1
   1  2
   2  11
   3  12
  DB<3>