Fix int deserialization