deftype Native.Integer64