[mimmuz]

the system tries to generalize, so probably it choose something like \d+ (it is shorter)

[nothrabannosir]

Depending on unicode settings, \d != [0-9]. See:

http://stackoverflow.com/a/6479605/4359699