Faster spj_gettoken_number