"Overdial" for Australian smart numbers

[Artem Mikhalitsin]

The Australian number system specifies that for smart numbers (a.k.a. phonewords), you're allowed to add additional digits to 13, 1300 and 1800 numbers, which will be dropped.

For example:

Lenovo has the smart number 135366, however they advertise their phone number as 13536686 (13 LENOVO). When a user dials 13536686, they are directed by the telephony provider to 135366, and the additional digits 8 and 6 are considered "overdial". 

Please see below the specification from ACMA:

https://www.thenumberingsystem.com.au/#!/about-smartnumbers:~:text=13%20numbers%20are,number%20you%27re%20seeking.

Libphonenumber currently recognizes the 6-digit as a valid number 

https://libphonenumber.appspot.com/phonenumberparser?number=135366&country=AU

And the 8-digit is not recognized as valid, although it technically points to the same number as the 6-digit

https://libphonenumber.appspot.com/phonenumberparser?number=13536686&country=AU

Would supporting this be in the scope of libphonenumber?