May 24, 2021
As pointed out by @SwissHttp on twitter, Line13 actually checks whether the given character is a number or not , "digit" or "not a digit", so the actual range is 0-9 not 0-8 as I wrote in this article.
Thanks again for the feedback @SwissHttp :)