I first learned in the 80s that 127.1 meant 127.0.0.1.
I always
assumed zero padding was defined in a standard *somewhere*, but am
finding out maybe not.
A friend spent some time digging into this issue not too long ago; you may
find his write-up interesting:
https://blog.dave.tf/post/ip-addr-parsing/
-Jason