Refine number_len