partial ips for CIDR seem not valid

Shouldn't address `127.0.10/24` be a valid CIDR?

cidrSubnet('127.0.10/24')

gives
`Error: Invalid ip address: 127.0.10`
I haven't found it on the specification but didn't do a deep read. They are certainly valid and other languages accept it

Start by reproducing the reported cidrSubnet('127.0.10/24') case and trace the IP validation path that rejects 127.0.10. Check whether the accepted behavior is supported by the relevant specification or existing language behavior; done means the CIDR input is handled consistently with the chosen validity rules and regression coverage is added.

Written by the indexing model from the issue text.