deftype Native::Integer64