Add deserialization code for positive-fixint.
Rename positive-fixint to uint7