ts-data-forge 6.13.1 → 7.0.0

package/dist/number/branded-types/non-positive-safe-int.d.mts

@@ -0,0 +1,119 @@
+import { type NonPositiveSafeInt as TtfImported_NonPositiveSafeInt } from 'ts-type-forge';
+export type NonPositiveSafeInt = TtfImported_NonPositiveSafeInt;
+/**
+ * Checks if a number is a NonPositiveSafeInt (non-positive safe integer in the
+ * range [Number.MIN_SAFE_INTEGER, 0]).
+ *
+ * @param value The value to check.
+ * @returns `true` if the value is a NonPositiveSafeInt, `false` otherwise.
+ */
+export declare const isNonPositiveSafeInt: (a: number) => a is TtfImported_NonPositiveSafeInt;
+/**
+ * Casts a number to a NonPositiveSafeInt type.
+ *
+ * @param value The value to cast.
+ * @returns The value as a NonPositiveSafeInt type.
+ * @throws {TypeError} If the value is not a non-positive safe integer.
+ */
+export declare const asNonPositiveSafeInt: <N extends number>(x: N) => number & {
+    readonly NaNValue: false;
+    readonly Finite: true;
+    readonly Int: true;
+    readonly "<=0": true;
+    readonly "< 2^15": true;
+    readonly "< 2^16": true;
+    readonly "< 2^31": true;
+    readonly "< 2^32": true;
+    readonly SafeInt: true;
+} & Readonly<{
+    'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
+}> & N;
+/**
+ * Namespace providing type-safe arithmetic operations for non-positive
+ * safe integers.
+ *
+ * All operations automatically clamp results to the valid NonPositiveSafeInt
+ * range [Number.MIN_SAFE_INTEGER, 0]. This ensures that all arithmetic
+ * maintains the non-positive safe integer constraint, with positive results
+ * clamped to 0 and underflow results clamped to MIN_VALUE.
+ */
+export declare const NonPositiveSafeInt: {
+    /**
+     * Type guard to check if a value is a NonPositiveSafeInt.
+     *
+     * @param value The value to check.
+     * @returns `true` if the value is a non-positive safe integer, `false`
+     *   otherwise.
+     */
+    readonly is: (a: number) => a is TtfImported_NonPositiveSafeInt;
+    /**
+     * The minimum value for a non-positive safe integer.
+     *
+     * @readonly
+     */
+    readonly MIN_VALUE: number;
+    /**
+     * The maximum value for a non-positive safe integer.
+     *
+     * @readonly
+     */
+    readonly MAX_VALUE: 0;
+    /**
+     * Returns the smaller of two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns The minimum value as a NonPositiveSafeInt.
+     */
+    readonly min: (...values: readonly import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>[]) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Returns the larger of two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns The maximum value as a NonPositiveSafeInt.
+     */
+    readonly max: (...values: readonly import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>[]) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Clamps a number to the NonPositiveSafeInt range.
+     *
+     * @param value The number to clamp.
+     * @returns The value clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    readonly clamp: (x: number) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Generates a random NonPositiveSafeInt value within the valid range.
+     *
+     * @returns A random NonPositiveSafeInt between Number.MIN_SAFE_INTEGER and 0.
+     */
+    readonly random: (min?: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt> | undefined, max?: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt> | undefined) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Raises a NonPositiveSafeInt to the power of another NonPositiveSafeInt.
+     *
+     * @param a The base NonPositiveSafeInt.
+     * @param b The exponent NonPositiveSafeInt.
+     * @returns `a ** b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Adds two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns `a + b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>) => TtfImported_NonPositiveSafeInt;
+    /**
+     * Subtracts one NonPositiveSafeInt from another.
+     *
+     * @param a The minuend NonPositiveSafeInt.
+     * @param b The subtrahend NonPositiveSafeInt.
+     * @returns `a - b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt (maximum 0).
+     */
+    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonPositiveSafeInt>) => TtfImported_NonPositiveSafeInt;
+};
+//# sourceMappingURL=non-positive-safe-int.d.mts.map

package/dist/number/branded-types/non-positive-safe-int.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"non-positive-safe-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-positive-safe-int.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,kBAAkB,IAAI,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAG1F,MAAM,MAAM,kBAAkB,GAAG,8BAA8B,CAAC;AA6BhE;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,oDAAK,CAAC;AAEvC;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;MAAW,CAAC;AAE7C;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;IAC7B;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;IAGH;;;;;;;OAOG;;CAEK,CAAC"}

package/dist/number/branded-types/non-positive-safe-int.mjs

@@ -0,0 +1,116 @@
+import { TsDataForgeInternals } from '../refined-number-utils.mjs';
+
+const typeNameInMessage = 'a non-positive safe integer';
+const { MAX_VALUE, MIN_VALUE, add, castType, clamp, is, max: max_, min: min_, pow, random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'SafeInteger',
+    MIN_VALUE: Number.MIN_SAFE_INTEGER,
+    MAX_VALUE: 0,
+    typeNameInMessage,
+});
+/**
+ * Checks if a number is a NonPositiveSafeInt (non-positive safe integer in the
+ * range [Number.MIN_SAFE_INTEGER, 0]).
+ *
+ * @param value The value to check.
+ * @returns `true` if the value is a NonPositiveSafeInt, `false` otherwise.
+ */
+const isNonPositiveSafeInt = is;
+/**
+ * Casts a number to a NonPositiveSafeInt type.
+ *
+ * @param value The value to cast.
+ * @returns The value as a NonPositiveSafeInt type.
+ * @throws {TypeError} If the value is not a non-positive safe integer.
+ */
+const asNonPositiveSafeInt = castType;
+/**
+ * Namespace providing type-safe arithmetic operations for non-positive
+ * safe integers.
+ *
+ * All operations automatically clamp results to the valid NonPositiveSafeInt
+ * range [Number.MIN_SAFE_INTEGER, 0]. This ensures that all arithmetic
+ * maintains the non-positive safe integer constraint, with positive results
+ * clamped to 0 and underflow results clamped to MIN_VALUE.
+ */
+const NonPositiveSafeInt = {
+    /**
+     * Type guard to check if a value is a NonPositiveSafeInt.
+     *
+     * @param value The value to check.
+     * @returns `true` if the value is a non-positive safe integer, `false`
+     *   otherwise.
+     */
+    is,
+    /**
+     * The minimum value for a non-positive safe integer.
+     *
+     * @readonly
+     */
+    MIN_VALUE,
+    /**
+     * The maximum value for a non-positive safe integer.
+     *
+     * @readonly
+     */
+    MAX_VALUE,
+    /**
+     * Returns the smaller of two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns The minimum value as a NonPositiveSafeInt.
+     */
+    min: min_,
+    /**
+     * Returns the larger of two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns The maximum value as a NonPositiveSafeInt.
+     */
+    max: max_,
+    /**
+     * Clamps a number to the NonPositiveSafeInt range.
+     *
+     * @param value The number to clamp.
+     * @returns The value clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    clamp,
+    /**
+     * Generates a random NonPositiveSafeInt value within the valid range.
+     *
+     * @returns A random NonPositiveSafeInt between Number.MIN_SAFE_INTEGER and 0.
+     */
+    random,
+    /**
+     * Raises a NonPositiveSafeInt to the power of another NonPositiveSafeInt.
+     *
+     * @param a The base NonPositiveSafeInt.
+     * @param b The exponent NonPositiveSafeInt.
+     * @returns `a ** b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    pow,
+    /**
+     * Adds two NonPositiveSafeInt values.
+     *
+     * @param a The first NonPositiveSafeInt.
+     * @param b The second NonPositiveSafeInt.
+     * @returns `a + b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt.
+     */
+    add,
+    /**
+     * Subtracts one NonPositiveSafeInt from another.
+     *
+     * @param a The minuend NonPositiveSafeInt.
+     * @param b The subtrahend NonPositiveSafeInt.
+     * @returns `a - b` clamped to [Number.MIN_SAFE_INTEGER, 0] as a
+     *   NonPositiveSafeInt (maximum 0).
+     */
+    sub,
+};
+
+export { NonPositiveSafeInt, asNonPositiveSafeInt, isNonPositiveSafeInt };
+//# sourceMappingURL=non-positive-safe-int.mjs.map

package/dist/number/branded-types/non-positive-safe-int.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"non-positive-safe-int.mjs","sources":["../../../src/number/branded-types/non-positive-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAOA,MAAM,iBAAiB,GAAG,6BAA6B;AAEvD,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,QAAQ,EACR,KAAK,EACL,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,MAAM,EACN,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;IACnC,SAAS,EAAE,MAAM,CAAC,gBAAgB;AAClC,IAAA,SAAS,EAAE,CAAC;IACZ,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,oBAAoB,GAAG;AAEpC;;;;;;AAMG;AACI,MAAM,oBAAoB,GAAG;AAEpC;;;;;;;;AAQG;AACI,MAAM,kBAAkB,GAAG;AAChC;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;IACH,KAAK;AAEL;;;;AAIG;IACH,MAAM;AAEN;;;;;;;AAOG;IACH,GAAG;AAEH;;;;;;;AAOG;IACH,GAAG;AAEH;;;;;;;AAOG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-finite-number.d.mts

@@ -46,7 +46,7 @@ export declare const NonZeroFiniteNumber: {
      * @param a The NonZeroFiniteNumber.
      * @returns The absolute value as a NonZeroFiniteNumber.
      */
-    readonly abs: (x: TtfImported_NonZeroFiniteNumber) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroFiniteNumber>;
+    readonly abs: (x: TtfImported_NonZeroFiniteNumber) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroFiniteNumber, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroFiniteNumber values.
      *
@@ -98,22 +98,6 @@ export declare const NonZeroFiniteNumber: {
      * @returns `a ** b` as a NonZeroFiniteNumber.
      */
     readonly pow: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
-    /**
-     * Adds two NonZeroFiniteNumber values.
-     *
-     * @param a The first NonZeroFiniteNumber.
-     * @param b The second NonZeroFiniteNumber.
-     * @returns `a + b` as a NonZeroFiniteNumber.
-     */
-    readonly add: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
-    /**
-     * Subtracts one NonZeroFiniteNumber from another.
-     *
-     * @param a The minuend NonZeroFiniteNumber.
-     * @param b The subtrahend NonZeroFiniteNumber.
-     * @returns `a - b` as a NonZeroFiniteNumber.
-     */
-    readonly sub: (x: TtfImported_NonZeroFiniteNumber, y: TtfImported_NonZeroFiniteNumber) => TtfImported_NonZeroFiniteNumber;
     /**
      * Multiplies two NonZeroFiniteNumber values.
      *
@@ -125,6 +109,10 @@ export declare const NonZeroFiniteNumber: {
     /**
      * Divides one NonZeroFiniteNumber by another.
      *
+     * Exact (non-flooring) division of two non-zero finite numbers is always
+     * non-zero, so this stays closed. For the non-closed operations (`add`/`sub`,
+     * whose result may be `0`) use {@link Num.add}/{@link Num.sub}.
+     *
      * @param a The dividend NonZeroFiniteNumber.
      * @param b The divisor NonZeroFiniteNumber.
      * @returns `a / b` as a NonZeroFiniteNumber.

package/dist/number/branded-types/non-zero-finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,IAAI,+BAA+B,EAC5D,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,mBAAmB,GAAG,+BAA+B,CAAC;AAElE,KAAK,WAAW,GAAG,mBAAmB,CAAC;AA2DvC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAK,CAAC;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;;;MAAW,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAC9B;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;wBA/FA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAiG3D;;;;;OAKG;uBAjGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAmG3D;;;;;OAKG;wBAnGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAqG3D;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,IAAI,+BAA+B,EAC5D,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,mBAAmB,GAAG,+BAA+B,CAAC;AAElE,KAAK,WAAW,GAAG,mBAAmB,CAAC;AAyDvC;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAK,CAAC;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;;;MAAW,CAAC;AAE9C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;IAC9B;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;wBA/FA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAiG3D;;;;;OAKG;uBAjGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAmG3D;;;;;OAKG;wBAnGA,WAAW,KACb,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;IAqG3D;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;;;;;;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-finite-number.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero finite number';
-const { abs, add, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForFloat({
+const { abs, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForFloat({
     nonZero: true,
     MIN_VALUE: -Number.MAX_VALUE,
     MAX_VALUE: Number.MAX_VALUE,
@@ -107,22 +107,6 @@ const NonZeroFiniteNumber = {
      * @returns `a ** b` as a NonZeroFiniteNumber.
      */
     pow,
-    /**
-     * Adds two NonZeroFiniteNumber values.
-     *
-     * @param a The first NonZeroFiniteNumber.
-     * @param b The second NonZeroFiniteNumber.
-     * @returns `a + b` as a NonZeroFiniteNumber.
-     */
-    add,
-    /**
-     * Subtracts one NonZeroFiniteNumber from another.
-     *
-     * @param a The minuend NonZeroFiniteNumber.
-     * @param b The subtrahend NonZeroFiniteNumber.
-     * @returns `a - b` as a NonZeroFiniteNumber.
-     */
-    sub,
     /**
      * Multiplies two NonZeroFiniteNumber values.
      *
@@ -134,6 +118,10 @@ const NonZeroFiniteNumber = {
     /**
      * Divides one NonZeroFiniteNumber by another.
      *
+     * Exact (non-flooring) division of two non-zero finite numbers is always
+     * non-zero, so this stays closed. For the non-closed operations (`add`/`sub`,
+     * whose result may be `0`) use {@link Num.add}/{@link Num.sub}.
+     *
      * @param a The dividend NonZeroFiniteNumber.
      * @param b The divisor NonZeroFiniteNumber.
      * @returns `a / b` as a NonZeroFiniteNumber.

package/dist/number/branded-types/non-zero-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAaA,MAAM,iBAAiB,GAAG,0BAA0B;AAEpD,MAAM,EACJ,GAAG,EACH,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,iBAAiB,CAI3D;AACA,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;AAEA,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAE7E,MAAM,IAAI,GAAG,CACX,CAAc;AAEd;AACA,IAAI,CAAC,IAAI,CAAC,CAAC,CAA+D;AAE5E,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAc7E;;;;;AAKG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;AAMG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG;AACjC;;;;;;AAMG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,IAAI;AAEJ;;;;;AAKG;IACH,KAAK;AAEL;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/number/branded-types/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAaA,MAAM,iBAAiB,GAAG,0BAA0B;AAEpD,MAAM,EACJ,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,iBAAiB,CAI3D;AACA,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;AAEA,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAE7E,MAAM,IAAI,GAAG,CACX,CAAc;AAEd;AACA,IAAI,CAAC,IAAI,CAAC,CAAC,CAA+D;AAE5E,MAAM,KAAK,GAAG,CACZ,CAAc;AAEd;AACA,IAAI,CAAC,KAAK,CAAC,CAAC,CAA+D;AAc7E;;;;;AAKG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;AAMG;AACI,MAAM,qBAAqB,GAAG;AAErC;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG;AACjC;;;;;;AAMG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,IAAI;AAEJ;;;;;AAKG;IACH,KAAK;AAEL;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-int.d.mts

@@ -1,5 +1,4 @@
 import { type NonZeroInt as TtfImported_NonZeroInt } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroInt = TtfImported_NonZeroInt;
 /**
  * Checks if a number is a NonZeroInt.
@@ -44,7 +43,7 @@ export declare const NonZeroInt: {
      * @param a The non-zero integer.
      * @returns The absolute value as a NonZeroInt.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroInt>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroInt, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two non-zero integers.
      *
@@ -75,44 +74,17 @@ export declare const NonZeroInt: {
      * @returns `a ** b` as a NonZeroInt.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Adds two non-zero integers.
-     *
-     * @param a The first non-zero integer.
-     * @param b The second non-zero integer.
-     * @returns `a + b` as a NonZeroInt.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Subtracts one non-zero integer from another.
-     *
-     * @param a The minuend non-zero integer.
-     * @param b The subtrahend non-zero integer.
-     * @returns `a - b` as a NonZeroInt.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
     /**
      * Multiplies two non-zero integers.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first non-zero integer.
      * @param b The second non-zero integer.
      * @returns `a * b` as a NonZeroInt.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>) => TtfImported_NonZeroInt;
-    /**
-     * Divides one non-zero integer by another using floor division.
-     *
-     * @param a The dividend non-zero integer.
-     * @param b The divisor non-zero integer.
-     * @returns `⌊a / b⌋` as a NonZeroInt.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroInt;
 };
 //# sourceMappingURL=non-zero-int.d.mts.map

package/dist/number/branded-types/non-zero-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,IAAI,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAE1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,UAAU,GAAG,sBAAsB,CAAC;AA8BhD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,4CAAK,CAAC;AAE/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY;;;;;;;MAAW,CAAC;AAErC;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,IAAI,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAI1E,MAAM,MAAM,UAAU,GAAG,sBAAsB,CAAC;AA2BhD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,4CAAK,CAAC;AAE/B;;;;;;GAMG;AACH,eAAO,MAAM,YAAY;;;;;;;MAAW,CAAC;AAErC;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-int.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero integer';
-const { abs, add, castType, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+const { abs, castType, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
     integerOrSafeInteger: 'Integer',
     nonZero: true,
     MIN_VALUE: -Number.MAX_VALUE,
@@ -75,38 +75,18 @@ const NonZeroInt = {
      * @returns `a ** b` as a NonZeroInt.
      */
     pow,
-    /**
-     * Adds two non-zero integers.
-     *
-     * @param a The first non-zero integer.
-     * @param b The second non-zero integer.
-     * @returns `a + b` as a NonZeroInt.
-     */
-    add,
-    /**
-     * Subtracts one non-zero integer from another.
-     *
-     * @param a The minuend non-zero integer.
-     * @param b The subtrahend non-zero integer.
-     * @returns `a - b` as a NonZeroInt.
-     */
-    sub,
     /**
      * Multiplies two non-zero integers.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first non-zero integer.
      * @param b The second non-zero integer.
      * @returns `a * b` as a NonZeroInt.
      */
     mul,
-    /**
-     * Divides one non-zero integer by another using floor division.
-     *
-     * @param a The dividend non-zero integer.
-     * @param b The divisor non-zero integer.
-     * @returns `⌊a / b⌋` as a NonZeroInt.
-     */
-    div,
 };
 
 export { NonZeroInt, asNonZeroInt, isNonZeroInt };

package/dist/number/branded-types/non-zero-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/number/branded-types/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,oBAAoB;AAE9C,MAAM,EACJ,GAAG,EACH,GAAG,EACH,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,SAAS;AAC/B,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,UAAU,GAAG;AACxB;;;;;AAKG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/number/branded-types/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,oBAAoB;AAE9C,MAAM,EACJ,GAAG,EACH,QAAQ,EACR,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,SAAS;AAC/B,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;IAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;;AAMG;AACI,MAAM,UAAU,GAAG;AACxB;;;;;AAKG;IACH,EAAE;AAEF;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;AAIG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}

package/dist/number/branded-types/non-zero-int16.d.mts

@@ -1,5 +1,4 @@
 import { type NonZeroInt16 as TtfImported_NonZeroInt16 } from 'ts-type-forge';
-import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 export type NonZeroInt16 = TtfImported_NonZeroInt16;
 /**
  * Checks if a number is a NonZeroInt16 (16-bit non-zero signed integer in the
@@ -20,11 +19,11 @@ export declare const asNonZeroInt16: <N extends number>(x: N) => number & {
     readonly NaNValue: false;
     readonly Finite: true;
     readonly Int: true;
-    readonly "!=0": true;
     readonly "> -2^16": true;
     readonly "> -2^32": true;
     readonly ">= -2^15": true;
     readonly ">= -2^31": true;
+    readonly "!=0": true;
     readonly "< 2^15": true;
     readonly "< 2^16": true;
     readonly "< 2^31": true;
@@ -69,7 +68,7 @@ export declare const NonZeroInt16: {
      * @param a The NonZeroInt16 value.
      * @returns The absolute value as a NonZeroInt16, clamped to valid range.
      */
-    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TsDataForgeInternals.RefinedNumberUtils.ToNonNegative<TtfImported_NonZeroInt16>;
+    readonly abs: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => import("ts-type-forge").IntersectBrand<TtfImported_NonZeroInt16, import("ts-type-forge").PositiveNumber>;
     /**
      * Returns the smaller of two NonZeroInt16 values.
      *
@@ -108,53 +107,17 @@ export declare const NonZeroInt16: {
      * @returns `a ** b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     readonly pow: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Adds two NonZeroInt16 values.
-     *
-     * @param a The first NonZeroInt16.
-     * @param b The second NonZeroInt16.
-     * @returns `a + b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly add: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Subtracts one NonZeroInt16 from another.
-     *
-     * @param a The minuend NonZeroInt16.
-     * @param b The subtrahend NonZeroInt16.
-     * @returns `a - b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly sub: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
     /**
      * Multiplies two NonZeroInt16 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt16.
      * @param b The second NonZeroInt16.
      * @returns `a * b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     readonly mul: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>) => TtfImported_NonZeroInt16;
-    /**
-     * Divides one NonZeroInt16 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt16.
-     * @param b The divisor NonZeroInt16.
-     * @returns `⌊a / b⌋` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    readonly div: (x: import("ts-type-forge").WithSmallInt<TtfImported_NonZeroInt16>, y: 1 | 2 | 3 | 32 | 4 | 5 | 6 | 7 | 8 | 9 | 11 | 10 | 20 | 30 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 31 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | -1 | -2 | -3 | -32 | -40 | -4 | -5 | -6 | -7 | -8 | -9 | -11 | -10 | -20 | -30 | -12 | -13 | -14 | -15 | -16 | -17 | -18 | -19 | -21 | -22 | -23 | -24 | -25 | -26 | -27 | -28 | -29 | -31 | -33 | -34 | -35 | -36 | -37 | -38 | -39 | import("ts-type-forge").NormalizeBrandUnion<number & {
-        readonly NaNValue: false;
-        readonly Finite: true;
-        readonly Int: true;
-        readonly "!=0": true;
-        readonly "> -2^16": true;
-        readonly "> -2^32": true;
-        readonly ">= -2^15": true;
-        readonly ">= -2^31": true;
-        readonly "< 2^15": true;
-        readonly "< 2^16": true;
-        readonly "< 2^31": true;
-        readonly "< 2^32": true;
-        readonly SafeInt: true;
-    } & Readonly<{
-        'TSTypeForgeInternals--edd2f9ce-7ca5-45b0-9d1a-bd61b9b5d9c3': unknown;
-    }>>) => TtfImported_NonZeroInt16;
 };
 //# sourceMappingURL=non-zero-int16.d.mts.map

package/dist/number/branded-types/non-zero-int16.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int16.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AAiCpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;;;;;;;;;;;;;;;;;CAEK,CAAC"}
+{"version":3,"file":"non-zero-int16.d.mts","sourceRoot":"","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,IAAI,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAI9E,MAAM,MAAM,YAAY,GAAG,wBAAwB,CAAC;AA8BpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,8CAAK,CAAC;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;MAAW,CAAC;AAEvC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB;;;;;;OAMG;;IAGH;;;;OAIG;;IAGH;;;;OAIG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;OAMG;;IAGH;;;;;OAKG;;IAGH;;;;;OAKG;;IAGH;;;;;;OAMG;;IAGH;;;;;;;;;;OAUG;;CAEK,CAAC"}

package/dist/number/branded-types/non-zero-int16.mjs

@@ -1,7 +1,7 @@
 import { TsDataForgeInternals } from '../refined-number-utils.mjs';
 
 const typeNameInMessage = 'a non-zero integer in [-2^15, 2^15)';
-const { MAX_VALUE, MIN_VALUE, abs, add, castType, clamp, div, is, max: max_, min: min_, mul, pow, randomNonZero: random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+const { MAX_VALUE, MIN_VALUE, abs, castType, clamp, is, max: max_, min: min_, mul, pow, randomNonZero: random, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
     integerOrSafeInteger: 'SafeInteger',
     nonZero: true,
     MIN_VALUE: -32768,
@@ -99,38 +99,18 @@ const NonZeroInt16 = {
      * @returns `a ** b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     pow,
-    /**
-     * Adds two NonZeroInt16 values.
-     *
-     * @param a The first NonZeroInt16.
-     * @param b The second NonZeroInt16.
-     * @returns `a + b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    add,
-    /**
-     * Subtracts one NonZeroInt16 from another.
-     *
-     * @param a The minuend NonZeroInt16.
-     * @param b The subtrahend NonZeroInt16.
-     * @returns `a - b` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    sub,
     /**
      * Multiplies two NonZeroInt16 values.
      *
+     * The product of two non-zero integers is always non-zero, so this stays
+     * closed; for the non-closed operations (`add`/`sub`/`div`, whose result may
+     * be `0`) use {@link Num.add}/{@link Num.sub}/{@link Num.divInt}.
+     *
      * @param a The first NonZeroInt16.
      * @param b The second NonZeroInt16.
      * @returns `a * b` clamped to [-32768, 32767] as a NonZeroInt16.
      */
     mul,
-    /**
-     * Divides one NonZeroInt16 by another using floor division.
-     *
-     * @param a The dividend NonZeroInt16.
-     * @param b The divisor NonZeroInt16.
-     * @returns `⌊a / b⌋` clamped to [-32768, 32767] as a NonZeroInt16.
-     */
-    div,
 };
 
 export { NonZeroInt16, asNonZeroInt16, isNonZeroInt16 };

package/dist/number/branded-types/non-zero-int16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int16.mjs","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,GAAG,EACH,QAAQ,EACR,KAAK,EACL,GAAG,EACH,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,EACrB,GAAG,GACJ,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,MAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;AAMG;IACH,GAAG;;;;;"}
+{"version":3,"file":"non-zero-int16.mjs","sources":["../../../src/number/branded-types/non-zero-int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAQA,MAAM,iBAAiB,GAAG,qCAAqC;AAE/D,MAAM,EACJ,SAAS,EACT,SAAS,EACT,GAAG,EACH,QAAQ,EACR,KAAK,EACL,EAAE,EACF,GAAG,EAAE,IAAI,EACT,GAAG,EAAE,IAAI,EACT,GAAG,EACH,GAAG,EACH,aAAa,EAAE,MAAM,GACtB,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,mBAAmB,CAI7D;AACA,IAAA,oBAAoB,EAAE,aAAa;AACnC,IAAA,OAAO,EAAE,IAAI;AACb,IAAA,SAAS,EAAE,MAAU;AACrB,IAAA,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;IACtB,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;AAMG;AACI,MAAM,cAAc,GAAG;AAE9B;;;;;;;;AAQG;AACI,MAAM,YAAY,GAAG;AAC1B;;;;;;AAMG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;AAIG;IACH,SAAS;AAET;;;;;AAKG;IACH,GAAG;AAEH;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;AAMG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;AAKG;IACH,KAAK;AAEL;;;;;AAKG;IACH,MAAM;AAEN;;;;;;AAMG;IACH,GAAG;AAEH;;;;;;;;;;AAUG;IACH,GAAG;;;;;"}