Documentation of the behavior of shorthand IPv4 addresses

I've noticed that on most platforms that the following works:

ping 10.1 Pinging 10.0.0.1 with 32 bytes of data: 

Cisco, Windows & Linux all support this notation. Is this just some type of lazy expansion or is this a well-known and documented expansion like "::" in IPv6?