`\d` is easier than `[0-9]`.