ts-data-forge 6.13.0 → 7.0.0

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

@@ -0,0 +1,222 @@
+import { TsDataForgeInternals } from '../refined-number-utils.mjs';
+
+const typeNameInMessage = 'a non-positive integer';
+const { MAX_VALUE, add, castType, clamp, is, max: max_, min: min_, pow, random, sub, } = TsDataForgeInternals.RefinedNumberUtils.operatorsForInteger({
+    integerOrSafeInteger: 'Integer',
+    MIN_VALUE: -Number.MAX_VALUE,
+    MAX_VALUE: 0,
+    typeNameInMessage,
+});
+/**
+ * Type guard that checks if a value is a non-positive integer.
+ *
+ * A non-positive integer is any integer less than or equal to zero (<= 0).
+ * This includes zero and all negative integers, but excludes positive numbers
+ * and non-integers.
+ *
+ * @example
+ *
+ * ```ts
+ * assert.isTrue(isNonPositiveInt(0));
+ *
+ * assert.isTrue(isNonPositiveInt(-5));
+ *
+ * assert.isFalse(isNonPositiveInt(1));
+ * ```
+ *
+ * @param value - The value to check
+ * @returns `true` if the value is a non-positive integer, `false` otherwise
+ */
+const isNonPositiveInt = is;
+/**
+ * Casts a number to a NonPositiveInt branded type.
+ *
+ * This function validates that the input is a non-positive integer (<= 0) and
+ * returns it with the NonPositiveInt brand. This ensures type safety for
+ * operations that require non-positive integer values.
+ *
+ * @example
+ *
+ * ```ts
+ * const branded = asNonPositiveInt(-7);
+ *
+ * assert.isTrue(branded === -7);
+ *
+ * assert.isTrue(NonPositiveInt.is(branded));
+ * ```
+ *
+ * @param value - The value to cast
+ * @returns The value as a NonPositiveInt branded type
+ * @throws {TypeError} If the value is not a non-positive integer
+ */
+const asNonPositiveInt = castType;
+/**
+ * Namespace providing type-safe operations for NonPositiveInt branded types.
+ *
+ * NonPositiveInt represents integers that are less than or equal to zero (<= 0).
+ * All operations automatically clamp results to maintain the non-positive
+ * constraint, ensuring that arithmetic operations never produce positive values.
+ *
+ * This type is essential for:
+ *
+ * - Debts and negative balances
+ * - Penalties and reductions
+ * - Offsets and adjustments (downward)
+ * - Negative counts or differences
+ * - Depth or altitude below a reference point
+ */
+const NonPositiveInt = {
+    /**
+     * Type guard that checks if a value is a non-positive integer.
+     *
+     * @example
+     *
+     * ```ts
+     * const value: number = -42;
+     *
+     * if (NonPositiveInt.is(value)) {
+     *   // value is now typed as NonPositiveInt
+     *   const debt = value;
+     * }
+     * ```
+     *
+     * @param value - The value to check
+     * @returns `true` if the value is a non-positive integer, `false` otherwise
+     */
+    is,
+    /**
+     * The maximum value for a non-positive integer.
+     *
+     * @readonly
+     */
+    MAX_VALUE,
+    /**
+     * Returns the smaller of two non-positive integers.
+     *
+     * Since non-positive integers range from negative infinity to 0, the smaller
+     * value is the one further from zero (more negative).
+     *
+     * @example
+     *
+     * ```ts
+     * const result = NonPositiveInt.min(-5, -10);
+     *
+     * assert.strictEqual(result, -10);
+     * ```
+     *
+     * @param a - The first non-positive integer
+     * @param b - The second non-positive integer
+     * @returns The minimum value as a non-positive integer
+     */
+    min: min_,
+    /**
+     * Returns the larger of two non-positive integers.
+     *
+     * Since non-positive integers range from negative infinity to 0, the larger
+     * value is the one closer to zero (less negative).
+     *
+     * @example
+     *
+     * ```ts
+     * const result = NonPositiveInt.max(-5, -10);
+     *
+     * assert.strictEqual(result, -5);
+     * ```
+     *
+     * @param a - The first non-positive integer
+     * @param b - The second non-positive integer
+     * @returns The maximum value as a non-positive integer
+     */
+    max: max_,
+    /**
+     * Clamps a number to the non-positive integer range.
+     *
+     * Any positive value is clamped to 0 (the maximum non-positive integer).
+     * Negative values are preserved as long as they are valid integers.
+     *
+     * @example
+     *
+     * ```ts
+     * assert.strictEqual(NonPositiveInt.clamp(5), 0);
+     *
+     * assert.strictEqual(NonPositiveInt.clamp(-5), -5);
+     *
+     * assert.strictEqual(NonPositiveInt.clamp(0), 0);
+     * ```
+     *
+     * @param value - The number to clamp
+     * @returns The value clamped to the non-positive integer range
+     */
+    clamp,
+    /**
+     * Generates a random non-positive integer value.
+     *
+     * @example
+     *
+     * ```ts
+     * const randomValue = NonPositiveInt.random();
+     *
+     * assert.isTrue(NonPositiveInt.is(randomValue));
+     * ```
+     *
+     * @returns A random non-positive integer
+     */
+    random,
+    /**
+     * Raises a non-positive integer to the power of another non-positive integer.
+     *
+     * The result is clamped to the non-positive integer range.
+     *
+     * @example
+     *
+     * ```ts
+     * const result = NonPositiveInt.pow(-2, -1);
+     * ```
+     *
+     * @param a - The base non-positive integer
+     * @param b - The exponent non-positive integer
+     * @returns `a ** b` clamped to the non-positive integer range
+     */
+    pow,
+    /**
+     * Adds two non-positive integers.
+     *
+     * The result is clamped to the non-positive integer range. If the sum is
+     * positive, it is clamped to 0.
+     *
+     * @example
+     *
+     * ```ts
+     * assert.strictEqual(NonPositiveInt.add(-5, -3), -8);
+     *
+     * assert.strictEqual(NonPositiveInt.add(-5, 10), 0);
+     * ```
+     *
+     * @param a - The first non-positive integer
+     * @param b - The second non-positive integer
+     * @returns `a + b` clamped to the non-positive integer range
+     */
+    add,
+    /**
+     * Subtracts one non-positive integer from another.
+     *
+     * The result is clamped to the non-positive integer range. If the result is
+     * positive, it is clamped to 0.
+     *
+     * @example
+     *
+     * ```ts
+     * assert.strictEqual(NonPositiveInt.sub(-10, -3), -7);
+     *
+     * assert.strictEqual(NonPositiveInt.sub(-10, 5), 0);
+     * ```
+     *
+     * @param a - The minuend non-positive integer
+     * @param b - The subtrahend non-positive integer
+     * @returns `a - b` clamped to the non-positive integer range
+     */
+    sub,
+};
+
+export { NonPositiveInt, asNonPositiveInt, isNonPositiveInt };
+//# sourceMappingURL=non-positive-int.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"non-positive-int.mjs","sources":["../../../src/number/branded-types/non-positive-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAOA,MAAM,iBAAiB,GAAG,wBAAwB;AAElD,MAAM,EACJ,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,SAAS;AAC/B,IAAA,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;AAC5B,IAAA,SAAS,EAAE,CAAC;IACZ,iBAAiB;AACT,CAAA,CAAC;AAEX;;;;;;;;;;;;;;;;;;;AAmBG;AACI,MAAM,gBAAgB,GAAG;AAEhC;;;;;;;;;;;;;;;;;;;;AAoBG;AACI,MAAM,gBAAgB,GAAG;AAEhC;;;;;;;;;;;;;;AAcG;AACI,MAAM,cAAc,GAAG;AAC5B;;;;;;;;;;;;;;;;AAgBG;IACH,EAAE;AAEF;;;;AAIG;IACH,SAAS;AAET;;;;;;;;;;;;;;;;;AAiBG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;;;;;;;;;;;;AAiBG;AACH,IAAA,GAAG,EAAE,IAAI;AAET;;;;;;;;;;;;;;;;;;AAkBG;IACH,KAAK;AAEL;;;;;;;;;;;;AAYG;IACH,MAAM;AAEN;;;;;;;;;;;;;;AAcG;IACH,GAAG;AAEH;;;;;;;;;;;;;;;;;AAiBG;IACH,GAAG;AAEH;;;;;;;;;;;;;;;;;AAiBG;IACH,GAAG;;;;;"}

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"}