Technically, it doesn't matter what number you stick after the first stop in a /8 network. Might as well write it as 10.X.X.X/8, it's all the same. I'm not sure where I've seen this done, but >90% certain some of the ip commands output this kind of CIDRs by simply concatenating the IP of the node you are querying and the size of the network.