It won't fail on '9', but your proposed alternative regular expression won't work on '009' for example, as '10' would be the output instead of the requested '010'. Just an observation.