> I would think the CIDR type should preserve the /32.
Makes no difference. If all four octets are specified and no "/" is given,the "/32" is assumed. Printing it would be nicer but not printing it is notan error.