Check for integer overflow for all combinations of types and encodings.
Check for duplicate keys.