Serialization of constrained values, etc