Deserialization of Int32