Add annotation to specify integer object map keys and implement it
for deserialization.  I don't yet know how to implement it for
serialization.