internal Boolean isNotEqual(UInt64 a, UInt64 b) => NativeImports.isNotEqual(a, b);
internal UInt64 scaleByPowerOfTen(UInt64 x, Int32 n) => NativeImports.scaleByPowerOfTen(x, n);
internal UInt64 nextUp(UInt64 x) => NativeImports.nextUp(x);
internal UInt64 multiplyByInt64(UInt64 a, Int64 integer) => NativeImports.multiplyByInt64(a, integer);
internal UInt64 divideByInt64(UInt64 x, Int64 integer) => NativeImports.divideByInt64(x, integer);
internal UInt64 subtract(UInt64 a, UInt64 b) => NativeImports.subtract(a, b);
internal UInt64 multiply4(UInt64 a, UInt64 b, UInt64 c, UInt64 d) => NativeImports.multiply4(a, b, c, d);
internal UInt64 roundTowardsNegativeInfinity(UInt64 x) => NativeImports.roundTowardsNegativeInfinity(x);
internal UInt64 roundTowardsZero(UInt64 x) => NativeImports.roundTowardsZero(x);
internal Boolean isPositive(UInt64 x) => NativeImports.isPositive(x);
internal Boolean isNonNegative(UInt64 x) => NativeImports.isNonNegative(x);
internal Boolean isNonZero(UInt64 x) => NativeImports.isNonZero(x);
internal Boolean isGreaterOrEqual(UInt64 a, UInt64 b) => NativeImports.isGreaterOrEqual(a, b);
internal Boolean isLess(UInt64 a, UInt64 b) => NativeImports.isLess(a, b);
internal UInt64 add3(UInt64 a, UInt64 b, UInt64 c) => NativeImports.add3(a, b, c);
internal UInt64 roundToNearestTiesAwayFromZero(UInt64 x) => NativeImports.roundToNearestTiesAwayFromZero(x);
internal UInt64 add4(UInt64 a, UInt64 b, UInt64 c, UInt64 d) => NativeImports.add4(a, b, c, d);
internal UInt64 max2(UInt64 a, UInt64 b) => NativeImports.max2(a, b);
internal UInt64 multiply2(UInt64 a, UInt64 b) => NativeImports.multiply2(a, b);
internal UInt64 min3(UInt64 a, UInt64 b, UInt64 c) => NativeImports.min3(a, b, c);
internal UInt64 multiplyByInt32(UInt64 x, Int32 integer) => NativeImports.multiplyByInt32(x, integer);
internal UInt64 min4(UInt64 a, UInt64 b, UInt64 c, UInt64 d) => NativeImports.min4(a, b, c, d);
internal UInt64 divide(UInt64 a, UInt64 b) => NativeImports.divide(a, b);
internal UInt64 negate(UInt64 x) => NativeImports.negate(x);
internal UInt64 multiplyAndAdd(UInt64 a, UInt64 b, UInt64 c) => NativeImports.multiplyAndAdd(a, b, c);
internal UInt64 abs(UInt64 x) => NativeImports.abs(x);
internal UInt64 mean2(UInt64 a, UInt64 b) => NativeImports.mean2(a, b);
internal UInt64 add2(UInt64 a, UInt64 b) => NativeImports.add2(a, b);
internal UInt64 nextDown(UInt64 x) => NativeImports.nextDown(x);
internal Int32 compare(UInt64 a, UInt64 b) => NativeImports.compare(a, b);