Is there any documentation for omitting zeroes in dot-decimal notation of IPv4 addresses?

See inet_aton() man page. The last part is the numerical value representing the contents of the remaining bits in the address, i.e., a 24-bit y in x.y, and a 16-bit z in x.y.z.