NativeIntegerType ==> NativeInt