What is the probability of getting a git commit identifier which contains decimal numbers only?