Shrink numeric IDs, for nicer URLs and more!