Added deserializing ints