performance tweak to number-literal regex