If a protocol number can't be converted to a string, convert its
number to a string so it maps to the same datatype in JSON.