Use varint instead of int, since int is 32 bit signed (and silverberg currently cannot unmarshal it) and there is no need to be specific