effect 3.14.11 → 3.14.13

package/src/Number.ts

@@ -1,534 +1,977 @@
 /**
- * This module provides utility functions and type class instances for working with the `number` type in TypeScript.
- * It includes functions for basic arithmetic operations, as well as type class instances for
- * `Equivalence` and `Order`.
+ * # Number
+ *
+ * This module provides utility functions and type class instances for working
+ * with the `number` type in TypeScript. It includes functions for basic
+ * arithmetic operations, as well as type class instances for `Equivalence` and
+ * `Order`.
+ *
+ * ## Operations Reference
+ *
+ * | Category     | Operation                                  | Description                                             | Domain                         | Co-domain             |
+ * | ------------ | ------------------------------------------ | ------------------------------------------------------- | ------------------------------ | --------------------- |
+ * | constructors | {@link module:Number.parse}                | Safely parses a string to a number                      | `string`                       | `Option<number>`      |
+ * |              |                                            |                                                         |                                |                       |
+ * | math         | {@link module:Number.sum}                  | Adds two numbers                                        | `number`, `number`             | `number`              |
+ * | math         | {@link module:Number.sumAll}               | Sums all numbers in a collection                        | `Iterable<number>`             | `number`              |
+ * | math         | {@link module:Number.subtract}             | Subtracts one number from another                       | `number`, `number`             | `number`              |
+ * | math         | {@link module:Number.multiply}             | Multiplies two numbers                                  | `number`, `number`             | `number`              |
+ * | math         | {@link module:Number.multiplyAll}          | Multiplies all numbers in a collection                  | `Iterable<number>`             | `number`              |
+ * | math         | {@link module:Number.divide}               | Safely divides handling division by zero                | `number`, `number`             | `Option<number>`      |
+ * | math         | {@link module:Number.unsafeDivide}         | Divides but misbehaves for division by zero             | `number`, `number`             | `number`              |
+ * | math         | {@link module:Number.remainder}            | Calculates remainder of division                        | `number`, `number`             | `number`              |
+ * | math         | {@link module:Number.increment}            | Adds 1 to a number                                      | `number`                       | `number`              |
+ * | math         | {@link module:Number.decrement}            | Subtracts 1 from a number                               | `number`                       | `number`              |
+ * | math         | {@link module:Number.sign}                 | Determines the sign of a number                         | `number`                       | `Ordering`            |
+ * | math         | {@link module:Number.nextPow2}             | Finds the next power of 2                               | `number`                       | `number`              |
+ * | math         | {@link module:Number.round}                | Rounds a number with specified precision                | `number`, `number`             | `number`              |
+ * |              |                                            |                                                         |                                |                       |
+ * | predicates   | {@link module:Number.between}              | Checks if a number is in a range                        | `number`, `{minimum, maximum}` | `boolean`             |
+ * | predicates   | {@link module:Number.lessThan}             | Checks if one number is less than another               | `number`, `number`             | `boolean`             |
+ * | predicates   | {@link module:Number.lessThanOrEqualTo}    | Checks if one number is less than or equal              | `number`, `number`             | `boolean`             |
+ * | predicates   | {@link module:Number.greaterThan}          | Checks if one number is greater than another            | `number`, `number`             | `boolean`             |
+ * | predicates   | {@link module:Number.greaterThanOrEqualTo} | Checks if one number is greater or equal                | `number`, `number`             | `boolean`             |
+ * |              |                                            |                                                         |                                |                       |
+ * | guards       | {@link module:Number.isNumber}             | Type guard for JavaScript numbers                       | `unknown`                      | `boolean`             |
+ * |              |                                            |                                                         |                                |                       |
+ * | comparison   | {@link module:Number.min}                  | Returns the minimum of two numbers                      | `number`, `number`             | `number`              |
+ * | comparison   | {@link module:Number.max}                  | Returns the maximum of two numbers                      | `number`, `number`             | `number`              |
+ * | comparison   | {@link module:Number.clamp}                | Restricts a number to a range                           | `number`, `{minimum, maximum}` | `number`              |
+ * |              |                                            |                                                         |                                |                       |
+ * | instances    | {@link module:Number.Equivalence}          | Equivalence instance for numbers                        |                                | `Equivalence<number>` |
+ * | instances    | {@link module:Number.Order}                | Order instance for numbers                              |                                | `Order<number>`       |
+ * |              |                                            |                                                         |                                |                       |
+ * | errors       | {@link module:Number.DivisionByZeroError}  | Error thrown by unsafeDivide                            |                                |                       |
+ *
+ * ## Composition Patterns and Type Safety
+ *
+ * When building function pipelines, understanding how types flow through
+ * operations is critical:
+ *
+ * ### Composing with type-preserving operations
+ *
+ * Most operations in this module are type-preserving (`number → number`),
+ * making them easily composable in pipelines:
  *
+ * ```ts
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * const result = pipe(
+ *   10,
+ *   Number.increment, // number → number
+ *   Number.multiply(2), // number → number
+ *   Number.round(1) // number → number
+ * ) // Result: number (21)
+ * ```
+ *
+ * ### Working with Option results
+ *
+ * Operations that might fail (like division by zero) return Option types and
+ * require Option combinators:
+ *
+ * ```ts
+ * import { pipe, Option } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * const result = pipe(
+ *   10,
+ *   Number.divide(0), // number → Option<number>
+ *   Option.getOrElse(() => 0) // Option<number> → number
+ * ) // Result: number (0)
+ * ```
+ *
+ * ### Composition best practices
+ *
+ * - Chain type-preserving operations for maximum composability
+ * - Use Option combinators when working with potentially failing operations
+ * - Consider using Effect for operations that might fail with specific errors
+ * - Remember that all operations maintain JavaScript's floating-point precision
+ *   limitations
+ *
+ * @module Number
  * @since 2.0.0
+ * @see {@link module:BigInt} for more similar operations on `bigint` types
+ * @see {@link module:BigDecimal} for more similar operations on `BigDecimal` types
  */
+
 import * as equivalence from "./Equivalence.js"
 import { dual } from "./Function.js"
 import * as option from "./internal/option.js"
+import * as _Iterable from "./Iterable.js"
 import type { Option } from "./Option.js"
 import * as order from "./Order.js"
 import type { Ordering } from "./Ordering.js"
 import * as predicate from "./Predicate.js"
 
 /**
- * Tests if a value is a `number`.
+ * Type guard that tests if a value is a member of the set of JavaScript
+ * numbers.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category guards
  * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { isNumber } from "effect/Number"
  *
- * assert.deepStrictEqual(isNumber(2), true)
- * assert.deepStrictEqual(isNumber("2"), false)
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import * as Number from "effect/Number"
+ *
+ * // Regular numbers
+ * assert.equal(Number.isNumber(2), true)
+ * assert.equal(Number.isNumber(-3.14), true)
+ * assert.equal(Number.isNumber(0), true)
+ *
+ * // Special numeric values
+ * assert.equal(Number.isNumber(Infinity), true)
+ * assert.equal(Number.isNumber(NaN), true)
+ *
+ * // Non-number values
+ * assert.equal(Number.isNumber("2"), false)
+ * assert.equal(Number.isNumber(true), false)
+ * assert.equal(Number.isNumber(null), false)
+ * assert.equal(Number.isNumber(undefined), false)
+ * assert.equal(Number.isNumber({}), false)
+ * assert.equal(Number.isNumber([]), false)
+ *
+ * // Using as a type guard in conditionals
+ * function processValue(value: unknown): string {
+ *   if (Number.isNumber(value)) {
+ *     // TypeScript now knows 'value' is a number
+ *     return `Numeric value: ${value.toFixed(2)}`
+ *   }
+ *   return "Not a number"
+ * }
+ *
+ * assert.strictEqual(processValue(42), "Numeric value: 42.00")
+ * assert.strictEqual(processValue("hello"), "Not a number")
+ *
+ * // Filtering for numbers in an array
+ * const mixed = [1, "two", 3, false, 5]
+ * const onlyNumbers = mixed.filter(Number.isNumber)
+ * assert.equal(onlyNumbers, [1, 3, 5])
  * ```
  *
- * @category guards
- * @since 2.0.0
+ * @param input - The value to test for membership in the set of JavaScript
+ *   numbers
+ *
+ * @returns `true` if the input is a JavaScript number, `false` otherwise
  */
 export const isNumber: (input: unknown) => input is number = predicate.isNumber
 
 /**
- * Provides an addition operation on `number`s.
+ * Returns the additive inverse of a number, effectively negating it.
  *
+ * @memberof Number
+ * @since 3.14.6
  * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { sum } from "effect/Number"
  *
- * assert.deepStrictEqual(sum(2, 3), 5)
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * assert.equal(
+ *   Number.negate(5), //
+ *   -5
+ * )
+ *
+ * assert.equal(
+ *   Number.negate(-5), //
+ *   5
+ * )
+ *
+ * assert.equal(
+ *   Number.negate(0), //
+ *   0
+ * )
  * ```
  *
- * @category math
+ * @param n - The number value to be negated.
+ *
+ * @returns The negated number value.
+ */
+export const negate = (n: number): number => multiply(n, -1)
+
+/**
+ * Performs addition in the set of JavaScript numbers.
+ *
+ * @memberof Number
  * @since 2.0.0
+ * @category math
+ * @example
+ *
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * // Data-first style (direct application)
+ * assert.equal(Number.sum(2, 3), 5)
+ * assert.equal(Number.sum(-10, 5), -5)
+ * assert.equal(Number.sum(0.1, 0.2), 0.30000000000000004) // Note: floating-point precision limitation
+ *
+ * // Data-last style (pipeable)
+ * assert.equal(
+ *   pipe(
+ *     10,
+ *     Number.sum(5) // 10 + 5 = 15
+ *   ),
+ *   15
+ * )
+ *
+ * // Chaining multiple additions
+ * assert.equal(
+ *   pipe(
+ *     1,
+ *     Number.sum(2), // 1 + 2 = 3
+ *     Number.sum(3), // 3 + 3 = 6
+ *     Number.sum(4) // 6 + 4 = 10
+ *   ),
+ *   10
+ * )
+ *
+ * // Identity property: a + 0 = a
+ * assert.equal(Number.sum(42, 0), 42)
+ *
+ * // Commutative property: a + b = b + a
+ * assert.equal(Number.sum(5, 3), Number.sum(3, 5))
+ * ```
  */
 export const sum: {
   /**
-   * Provides an addition operation on `number`s.
+   * Returns a function that adds a specified number to its argument.
    *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { sum } from "effect/Number"
+   * @param that - The number to add to the input of the resulting function
    *
-   * assert.deepStrictEqual(sum(2, 3), 5)
-   * ```
-   *
-   * @category math
-   * @since 2.0.0
+   * @returns A function that takes a number and returns the sum of that number
+   *   and `that`
    */
   (that: number): (self: number) => number
+
   /**
-   * Provides an addition operation on `number`s.
-   *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { sum } from "effect/Number"
+   * Adds two numbers together.
    *
-   * assert.deepStrictEqual(sum(2, 3), 5)
-   * ```
+   * @param self - The first addend
+   * @param that - The second addend
    *
-   * @category math
-   * @since 2.0.0
+   * @returns The sum of the two numbers
    */
   (self: number, that: number): number
 } = dual(2, (self: number, that: number): number => self + that)
 
 /**
- * Provides a multiplication operation on `number`s.
+ * Computes the sum of all elements in an iterable collection of numbers.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
- * import { multiply } from "effect/Number"
+ * import * as assert from "node:assert/strict"
+ * import * as Number from "effect/Number"
+ *
+ * // Basic sums
+ * assert.equal(Number.sumAll([2, 3, 4]), 9) // 2 + 3 + 4 = 9
+ * assert.equal(Number.sumAll([1.1, 2.2, 3.3]), 6.6) // 1.1 + 2.2 + 3.3 = 6.6
+ *
+ * // Empty collection returns the additive identity (0)
+ * assert.equal(Number.sumAll([]), 0)
+ *
+ * // Single element collection
+ * assert.equal(Number.sumAll([42]), 42)
+ *
+ * // Sums with negative numbers
+ * assert.equal(Number.sumAll([2, -3, 4]), 3) // 2 + (-3) + 4 = 3
+ * assert.equal(Number.sumAll([-2, -3, -4]), -9) // (-2) + (-3) + (-4) = -9
+ *
+ * // Works with any iterable
+ * assert.equal(Number.sumAll(new Set([2, 3, 4])), 9)
+ *
+ * // Using with generated sequences
+ * function* range(start: number, end: number) {
+ *   for (let i = start; i <= end; i++) yield i
+ * }
  *
- * assert.deepStrictEqual(multiply(2, 3), 6)
+ * // Compute sum of first 5 natural numbers: 1 + 2 + 3 + 4 + 5 = 15
+ * assert.equal(Number.sumAll(range(1, 5)), 15)
+ *
+ * // Floating point precision example
+ * assert.equal(
+ *   Number.sumAll([0.1, 0.2]),
+ *   0.30000000000000004 // Note IEEE 754 precision limitation
+ * )
  * ```
  *
- * @category math
+ * @param collection - An `iterable` containing the `numbers` to sum
+ *
+ * @returns The sum of all numbers in the collection, or 0 if the collection is
+ *   empty
+ */
+export const sumAll = (collection: Iterable<number>): number => _Iterable.reduce(collection, 0, sum)
+
+/**
+ * Performs subtraction in the set of JavaScript numbers.
+ *
+ * @memberof Number
  * @since 2.0.0
+ * @category math
+ * @example
+ *
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * // Data-first style (direct application)
+ * assert.equal(Number.subtract(2, 3), -1) // 2 - 3 = -1
+ * assert.equal(Number.subtract(10, 5), 5) // 10 - 5 = 5
+ * assert.equal(Number.subtract(0.3, 0.1), 0.19999999999999998) // Note: floating-point precision limitation
+ *
+ * // Data-last style (pipeable)
+ * assert.equal(
+ *   pipe(
+ *     10,
+ *     Number.subtract(5) // 10 - 5 = 5
+ *   ),
+ *   5
+ * )
+ *
+ * // Chaining multiple subtractions
+ * assert.equal(
+ *   pipe(
+ *     20,
+ *     Number.subtract(5), // 20 - 5 = 15
+ *     Number.subtract(3), // 15 - 3 = 12
+ *     Number.subtract(2) // 12 - 2 = 10
+ *   ),
+ *   10
+ * )
+ *
+ * // Right identity property: a - 0 = a
+ * assert.equal(Number.subtract(42, 0), 42)
+ *
+ * // Self-annihilation property: a - a = 0
+ * assert.equal(Number.subtract(42, 42), 0)
+ *
+ * // Non-commutative property: a - b ≠ b - a
+ * assert.equal(Number.subtract(5, 3), 2) // 5 - 3 = 2
+ * assert.equal(Number.subtract(3, 5), -2) // 3 - 5 = -2
+ *
+ * // Inverse relation: a - b = -(b - a)
+ * assert.equal(Number.subtract(5, 3), -Number.subtract(3, 5))
+ * ```
  */
-export const multiply: {
+export const subtract: {
   /**
-   * Provides a multiplication operation on `number`s.
+   * Returns a function that subtracts a specified number from its argument.
    *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { multiply } from "effect/Number"
+   * @param subtrahend - The number to subtract from the input of the resulting
+   *   function
    *
-   * assert.deepStrictEqual(multiply(2, 3), 6)
-   * ```
-   *
-   * @category math
-   * @since 2.0.0
+   * @returns A function that takes a minuend and returns the difference of
+   *   subtracting the subtrahend from it
    */
-  (that: number): (self: number) => number
+  (subtrahend: number): (minuend: number) => number
+
   /**
-   * Provides a multiplication operation on `number`s.
-   *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { multiply } from "effect/Number"
+   * Subtracts the subtrahend from the minuend and returns the difference.
    *
-   * assert.deepStrictEqual(multiply(2, 3), 6)
-   * ```
+   * @param minuend - The number from which another number is to be subtracted
+   * @param subtrahend - The number to subtract from the minuend
    *
-   * @category math
-   * @since 2.0.0
+   * @returns The difference of the minuend minus the subtrahend
    */
-  (self: number, that: number): number
-} = dual(2, (self: number, that: number): number => self * that)
+  (minuend: number, subtrahend: number): number
+} = dual(
+  2,
+  (minuend: number, subtrahend: number): number => minuend - subtrahend
+)
 
 /**
- * Provides a subtraction operation on `number`s.
+ * Performs **multiplication** in the set of JavaScript numbers.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { subtract } from "effect/Number"
  *
- * assert.deepStrictEqual(subtract(2, 3), -1)
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * // Data-first style (direct application)
+ * assert.equal(Number.multiply(2, 3), 6) // 2 × 3 = 6
+ * assert.equal(Number.multiply(-4, 5), -20) // (-4) × 5 = -20
+ * assert.equal(Number.multiply(-3, -2), 6) // (-3) × (-2) = 6
+ * assert.equal(Number.multiply(0.1, 0.2), 0.020000000000000004) // Note: floating-point precision limitation
+ *
+ * // Data-last style (pipeable)
+ * assert.equal(
+ *   pipe(
+ *     10,
+ *     Number.multiply(5) // 10 × 5 = 50
+ *   ),
+ *   50
+ * )
+ *
+ * // Chaining multiple multiplications
+ * assert.equal(
+ *   pipe(
+ *     2,
+ *     Number.multiply(3), // 2 × 3 = 6
+ *     Number.multiply(4), // 6 × 4 = 24
+ *     Number.multiply(0.5) // 24 × 0.5 = 12
+ *   ),
+ *   12
+ * )
+ *
+ * // Identity property: a × 1 = a
+ * assert.equal(Number.multiply(42, 1), 42)
+ *
+ * // Zero property: a × 0 = 0
+ * assert.equal(Number.multiply(42, 0), 0)
+ *
+ * // Commutative property: a × b = b × a
+ * assert.equal(Number.multiply(5, 3), Number.multiply(3, 5))
+ *
+ * // Associative property: (a × b) × c = a × (b × c)
+ * const a = 2,
+ *   b = 3,
+ *   c = 4
+ * assert.equal(
+ *   Number.multiply(Number.multiply(a, b), c),
+ *   Number.multiply(a, Number.multiply(b, c))
+ * )
  * ```
- *
- * @category math
- * @since 2.0.0
  */
-export const subtract: {
+export const multiply: {
   /**
-   * Provides a subtraction operation on `number`s.
+   * Returns a function that multiplies a specified number with its argument.
    *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { subtract } from "effect/Number"
+   * @param multiplicand - The number to multiply with the input of the
+   *   resulting function
    *
-   * assert.deepStrictEqual(subtract(2, 3), -1)
-   * ```
-   *
-   * @category math
-   * @since 2.0.0
+   * @returns A function that takes a multiplier and returns the product of that
+   *   multiplier and the multiplicand
    */
-  (that: number): (self: number) => number
+  (multiplicand: number): (multiplier: number) => number
+
   /**
-   * Provides a subtraction operation on `number`s.
-   *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { subtract } from "effect/Number"
+   * Multiplies two numbers together.
    *
-   * assert.deepStrictEqual(subtract(2, 3), -1)
-   * ```
+   * @param multiplier - The first factor
+   * @param multiplicand - The second factor
    *
-   * @category math
-   * @since 2.0.0
+   * @returns The product of the two numbers
    */
-  (self: number, that: number): number
-} = dual(2, (self: number, that: number): number => self - that)
+  (multiplier: number, multiplicand: number): number
+} = dual(
+  2,
+  (multiplier: number, multiplicand: number): number => multiplier * multiplicand
+)
 
 /**
- * Provides a division operation on `number`s.
+ * Computes the product of all elements in an iterable collection of numbers.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
- * import { Number, Option } from "effect"
+ * import * as assert from "node:assert/strict"
+ * import * as Number from "effect/Number"
+ *
+ * // Basic products
+ * assert.equal(Number.multiplyAll([2, 3, 4]), 24) // 2 × 3 × 4 = 24
+ * assert.equal(Number.multiplyAll([1.5, 2, 3]), 9) // 1.5 × 2 × 3 = 9
+ *
+ * // Empty collection returns the multiplicative identity (1)
+ * assert.equal(Number.multiplyAll([]), 1)
+ *
+ * // Single element collection
+ * assert.equal(Number.multiplyAll([42]), 42)
+ *
+ * // Products with negative numbers
+ * assert.equal(Number.multiplyAll([2, -3, 4]), -24) // 2 × (-3) × 4 = -24
+ * assert.equal(Number.multiplyAll([-2, -3]), 6) // (-2) × (-3) = 6
  *
- * assert.deepStrictEqual(Number.divide(6, 3), Option.some(2))
- * assert.deepStrictEqual(Number.divide(6, 0), Option.none())
+ * // Zero property - if any element is zero, product is zero
+ * assert.equal(Number.multiplyAll([2, 0, 3]), 0)
+ *
+ * // Works with any iterable
+ * assert.equal(Number.multiplyAll(new Set([2, 3, 4])), 24)
+ *
+ * // Using with generated sequences
+ * function* range(start: number, end: number) {
+ *   for (let i = start; i <= end; i++) yield i
+ * }
+ *
+ * // Compute factorial: 5! = 5 × 4 × 3 × 2 × 1 = 120
+ * assert.equal(Number.multiplyAll(range(1, 5)), 120)
  * ```
  *
- * @category math
+ * @param collection - An `iterable` containing the `numbers` to multiply
+ *
+ * @returns The product of all numbers in the collection, or 1 if the collection
+ *   is empty
+ */
+export const multiplyAll = (collection: Iterable<number>): number => {
+  let out = 1
+  for (const n of collection) {
+    if (n === 0) {
+      return 0
+    }
+    out *= n
+  }
+  return out
+}
+
+/**
+ * Performs division in the set of JavaScript numbers, returning the result
+ * wrapped in an `Option` to handle division by zero.
+ *
+ * @memberof Number
  * @since 2.0.0
+ * @category math
+ * @example
+ *
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe, Option } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * // Data-first style (direct application)
+ * assert.equal(Number.divide(6, 3), Option.some(2)) // 6 ÷ 3 = 2
+ * assert.equal(Number.divide(-8, 4), Option.some(-2)) // (-8) ÷ 4 = -2
+ * assert.equal(Number.divide(-10, -5), Option.some(2)) // (-10) ÷ (-5) = 2
+ * assert.equal(Number.divide(1, 3), Option.some(0.3333333333333333)) // Note: floating-point approximation
+ *
+ * // Handling division by zero
+ * assert.equal(Number.divide(6, 0), Option.none()) // 6 ÷ 0 is undefined
+ *
+ * // Data-last style (pipeable)
+ * assert.equal(
+ *   pipe(
+ *     10,
+ *     Number.divide(2) // 10 ÷ 2 = 5
+ *   ),
+ *   Option.some(5)
+ * )
+ *
+ * // Chaining multiple divisions using Option combinators
+ * assert.equal(
+ *   pipe(
+ *     Option.some(24),
+ *     Option.flatMap((n) => Number.divide(n, 2)), // 24 ÷ 2 = 12
+ *     Option.flatMap(Number.divide(3)), // 12 ÷ 3 = 4
+ *     Option.flatMap(Number.divide(2)) // 4 ÷ 2 = 2
+ *   ),
+ *   Option.some(2)
+ * )
+ *
+ * // Division-by-one property: a ÷ 1 = a
+ * assert.equal(Number.divide(42, 1), Option.some(42))
+ *
+ * // Self-division property: a ÷ a = 1 (for a ≠ 0)
+ * assert.equal(Number.divide(42, 42), Option.some(1))
+ *
+ * // Non-commutative property: a ÷ b ≠ b ÷ a
+ * assert.notDeepStrictEqual(
+ *   Number.divide(6, 3), // 6 ÷ 3 = 2
+ *   Number.divide(3, 6) // 3 ÷ 6 = 0.5
+ * )
+ * ```
  */
 export const divide: {
   /**
-   * Provides a division operation on `number`s.
-   *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { Number, Option } from "effect"
+   * Returns a function that divides its input by a specified divisor.
    *
-   * assert.deepStrictEqual(Number.divide(6, 3), Option.some(2))
-   * assert.deepStrictEqual(Number.divide(6, 0), Option.none())
-   * ```
+   * @param divisor - The number to divide by
    *
-   * @category math
-   * @since 2.0.0
+   * @returns A function that takes a dividend and returns the quotient wrapped
+   *   in an Option (Option.none() if divisor is 0)
    */
-  (that: number): (self: number) => Option<number>
+  (divisor: number): (dividend: number) => Option<number>
+
   /**
-   * Provides a division operation on `number`s.
+   * Divides the dividend by the divisor and returns the quotient wrapped in an
+   * Option.
    *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { Number, Option } from "effect"
+   * @param dividend - The number to be divided
+   * @param divisor - The number to divide by
    *
-   * assert.deepStrictEqual(Number.divide(6, 3), Option.some(2))
-   * assert.deepStrictEqual(Number.divide(6, 0), Option.none())
-   * ```
-   *
-   * @category math
-   * @since 2.0.0
+   * @returns Some(quotient) if the divisor is not 0, None otherwise
    */
-  (self: number, that: number): Option<number>
-} = dual(
-  2,
-  (self: number, that: number): Option<number> => that === 0 ? option.none : option.some(self / that)
-)
+  (dividend: number, divisor: number): Option<number>
+} = dual(2, (dividend: number, divisor: number) => divisor === 0 ? option.none : option.some(dividend / divisor))
 
 /**
- * Provides a division operation on `number`s.
+ * Performs division in the set of JavaScript numbers, but misbehaves for
+ * division by zero.
+ *
+ * Unlike {@link module:Number.divide} which returns an Option, this function
+ * directly returns a number or `Infinity` or `NaN`.
  *
- * Throws a `RangeError` if the divisor is `0`.
+ * - If the `divisor` is zero, it returns `Infinity`.
+ * - If both the `dividend` and the `divisor` are zero, then it returns `NaN`.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { unsafeDivide } from "effect/Number"
  *
- * assert.deepStrictEqual(unsafeDivide(6, 3), 2)
+ * ```ts
+ * import * as assert from "node:assert/strict"
+ * import { pipe } from "effect"
+ * import * as Number from "effect/Number"
+ *
+ * // Data-first style (direct application)
+ * assert.equal(Number.unsafeDivide(6, 3), 2) // 6 ÷ 3 = 2
+ * assert.equal(Number.unsafeDivide(-8, 4), -2) // (-8) ÷ 4 = -2
+ * assert.equal(Number.unsafeDivide(-10, -5), 2) // (-10) ÷ (-5) = 2
+ * assert.equal(Number.unsafeDivide(1, 3), 0.3333333333333333)
+ *
+ * // Data-last style (pipeable)
+ * assert.equal(
+ *   pipe(
+ *     10,
+ *     Number.unsafeDivide(2) // 10 ÷ 2 = 5
+ *   ),
+ *   5
+ * )
+ *
+ * // Chaining multiple divisions
+ * assert.equal(
+ *   pipe(
+ *     24,
+ *     Number.unsafeDivide(2), // 24 ÷ 2 = 12
+ *     Number.unsafeDivide(3), // 12 ÷ 3 = 4
+ *     Number.unsafeDivide(2) // 4 ÷ 2 = 2
+ *   ),
+ *   2
+ * )
+ *
+ * assert.equal(Number.unsafeDivide(6, 0), Infinity)
+ *
+ * assert.equal(Number.unsafeDivide(0, 0), NaN)
+ *
+ * // Compare with safe division
+ * const safeResult = Number.divide(6, 3) // Option.some(2)
+ * const unsafeResult = Number.unsafeDivide(6, 3) // 2 directly
  * ```
  *
- * @category math
- * @since 2.0.0
+ * @throws - An {@link module:Number.DivisionByZeroError} if the divisor is zero.
+ * @see {@link module:Number.divide} - Safe division returning an Option
  */
 export const unsafeDivide: {
   /**
-   * Provides a division operation on `number`s.
-   *
-   * Throws a `RangeError` if the divisor is `0`.
-   *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { unsafeDivide } from "effect/Number"
+   * Returns a function that divides its input by a specified divisor.
    *
-   * assert.deepStrictEqual(unsafeDivide(6, 3), 2)
-   * ```
+   * @param divisor - The number to divide by
    *
-   * @category math
-   * @since 2.0.0
+   * @returns A function that takes a dividend and returns the quotient
+   * @throws - An {@link module:Number.DivisionByZeroError} if the divisor is
+   *   zero
    */
-  (that: number): (self: number) => number
+  (divisor: number): (dividend: number) => number
+
   /**
-   * Provides a division operation on `number`s.
+   * Divides the dividend by the divisor and returns the quotient.
    *
-   * Throws a `RangeError` if the divisor is `0`.
+   * If the divisor is zero, it returns Infinity.
    *
-   * @example
-   * ```ts
-   * import * as assert from "node:assert"
-   * import { unsafeDivide } from "effect/Number"
+   * @param dividend - The number to be divided
+   * @param divisor - The number to divide by
    *
-   * assert.deepStrictEqual(unsafeDivide(6, 3), 2)
-   * ```
-   *
-   * @category math
-   * @since 2.0.0
+   * @returns The quotient of the division
    */
-  (self: number, that: number): number
-} = dual(2, (self: number, that: number): number => self / that)
+  (dividend: number, divisor: number): number
+} = dual(2, (dividend: number, divisor: number): number => dividend / divisor)
 
 /**
  * Returns the result of adding `1` to a given number.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { increment } from "effect/Number"
  *
- * assert.deepStrictEqual(increment(2), 3)
+ * assert.equal(increment(2), 3)
  * ```
- *
- * @category math
- * @since 2.0.0
  */
-export const increment = (n: number): number => n + 1
+export const increment = (n: number): number => sum(n, 1)
 
 /**
  * Decrements a number by `1`.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { decrement } from "effect/Number"
  *
- * assert.deepStrictEqual(decrement(3), 2)
+ * assert.equal(decrement(3), 2)
  * ```
- *
- * @category math
- * @since 2.0.0
  */
-export const decrement = (n: number): number => n - 1
+export const decrement = (n: number): number => subtract(n, 1)
 
 /**
- * @category instances
+ * @memberof Number
  * @since 2.0.0
+ * @category instances
  */
 export const Equivalence: equivalence.Equivalence<number> = equivalence.number
 
 /**
- * @category instances
+ * @memberof Number
  * @since 2.0.0
+ * @category instances
  */
 export const Order: order.Order<number> = order.number
 
 /**
- * Returns `true` if the first argument is less than the second, otherwise `false`.
+ * Returns `true` if the first argument is less than the second, otherwise
+ * `false`.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category predicates
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { lessThan } from "effect/Number"
  *
- * assert.deepStrictEqual(lessThan(2, 3), true)
- * assert.deepStrictEqual(lessThan(3, 3), false)
- * assert.deepStrictEqual(lessThan(4, 3), false)
+ * assert.equal(lessThan(2, 3), true)
+ * assert.equal(lessThan(3, 3), false)
+ * assert.equal(lessThan(4, 3), false)
  * ```
- *
- * @category predicates
- * @since 2.0.0
  */
 export const lessThan: {
   /**
-   * Returns `true` if the first argument is less than the second, otherwise `false`.
+   * Returns `true` if the first argument is less than the second, otherwise
+   * `false`.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { lessThan } from "effect/Number"
    *
-   * assert.deepStrictEqual(lessThan(2, 3), true)
-   * assert.deepStrictEqual(lessThan(3, 3), false)
-   * assert.deepStrictEqual(lessThan(4, 3), false)
+   * assert.equal(lessThan(2, 3), true)
+   * assert.equal(lessThan(3, 3), false)
+   * assert.equal(lessThan(4, 3), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (that: number): (self: number) => boolean
   /**
-   * Returns `true` if the first argument is less than the second, otherwise `false`.
+   * Returns `true` if the first argument is less than the second, otherwise
+   * `false`.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { lessThan } from "effect/Number"
    *
-   * assert.deepStrictEqual(lessThan(2, 3), true)
-   * assert.deepStrictEqual(lessThan(3, 3), false)
-   * assert.deepStrictEqual(lessThan(4, 3), false)
+   * assert.equal(lessThan(2, 3), true)
+   * assert.equal(lessThan(3, 3), false)
+   * assert.equal(lessThan(4, 3), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (self: number, that: number): boolean
 } = order.lessThan(Order)
 
 /**
- * Returns a function that checks if a given `number` is less than or equal to the provided one.
+ * Returns a function that checks if a given `number` is less than or equal to
+ * the provided one.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category predicates
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { lessThanOrEqualTo } from "effect/Number"
  *
- * assert.deepStrictEqual(lessThanOrEqualTo(2, 3), true)
- * assert.deepStrictEqual(lessThanOrEqualTo(3, 3), true)
- * assert.deepStrictEqual(lessThanOrEqualTo(4, 3), false)
+ * assert.equal(lessThanOrEqualTo(2, 3), true)
+ * assert.equal(lessThanOrEqualTo(3, 3), true)
+ * assert.equal(lessThanOrEqualTo(4, 3), false)
  * ```
- *
- * @category predicates
- * @since 2.0.0
  */
 export const lessThanOrEqualTo: {
   /**
-   * Returns a function that checks if a given `number` is less than or equal to the provided one.
+   * Returns a function that checks if a given `number` is less than or equal to
+   * the provided one.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { lessThanOrEqualTo } from "effect/Number"
    *
-   * assert.deepStrictEqual(lessThanOrEqualTo(2, 3), true)
-   * assert.deepStrictEqual(lessThanOrEqualTo(3, 3), true)
-   * assert.deepStrictEqual(lessThanOrEqualTo(4, 3), false)
+   * assert.equal(lessThanOrEqualTo(2, 3), true)
+   * assert.equal(lessThanOrEqualTo(3, 3), true)
+   * assert.equal(lessThanOrEqualTo(4, 3), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (that: number): (self: number) => boolean
   /**
-   * Returns a function that checks if a given `number` is less than or equal to the provided one.
+   * Returns a function that checks if a given `number` is less than or equal to
+   * the provided one.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { lessThanOrEqualTo } from "effect/Number"
    *
-   * assert.deepStrictEqual(lessThanOrEqualTo(2, 3), true)
-   * assert.deepStrictEqual(lessThanOrEqualTo(3, 3), true)
-   * assert.deepStrictEqual(lessThanOrEqualTo(4, 3), false)
+   * assert.equal(lessThanOrEqualTo(2, 3), true)
+   * assert.equal(lessThanOrEqualTo(3, 3), true)
+   * assert.equal(lessThanOrEqualTo(4, 3), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (self: number, that: number): boolean
 } = order.lessThanOrEqualTo(Order)
 
 /**
- * Returns `true` if the first argument is greater than the second, otherwise `false`.
+ * Returns `true` if the first argument is greater than the second, otherwise
+ * `false`.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category predicates
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { greaterThan } from "effect/Number"
  *
- * assert.deepStrictEqual(greaterThan(2, 3), false)
- * assert.deepStrictEqual(greaterThan(3, 3), false)
- * assert.deepStrictEqual(greaterThan(4, 3), true)
+ * assert.equal(greaterThan(2, 3), false)
+ * assert.equal(greaterThan(3, 3), false)
+ * assert.equal(greaterThan(4, 3), true)
  * ```
- *
- * @category predicates
- * @since 2.0.0
  */
 export const greaterThan: {
   /**
-   * Returns `true` if the first argument is greater than the second, otherwise `false`.
+   * Returns `true` if the first argument is greater than the second, otherwise
+   * `false`.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { greaterThan } from "effect/Number"
    *
-   * assert.deepStrictEqual(greaterThan(2, 3), false)
-   * assert.deepStrictEqual(greaterThan(3, 3), false)
-   * assert.deepStrictEqual(greaterThan(4, 3), true)
+   * assert.equal(greaterThan(2, 3), false)
+   * assert.equal(greaterThan(3, 3), false)
+   * assert.equal(greaterThan(4, 3), true)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (that: number): (self: number) => boolean
   /**
-   * Returns `true` if the first argument is greater than the second, otherwise `false`.
+   * Returns `true` if the first argument is greater than the second, otherwise
+   * `false`.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { greaterThan } from "effect/Number"
    *
-   * assert.deepStrictEqual(greaterThan(2, 3), false)
-   * assert.deepStrictEqual(greaterThan(3, 3), false)
-   * assert.deepStrictEqual(greaterThan(4, 3), true)
+   * assert.equal(greaterThan(2, 3), false)
+   * assert.equal(greaterThan(3, 3), false)
+   * assert.equal(greaterThan(4, 3), true)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (self: number, that: number): boolean
 } = order.greaterThan(Order)
 
 /**
- * Returns a function that checks if a given `number` is greater than or equal to the provided one.
+ * Returns a function that checks if a given `number` is greater than or equal
+ * to the provided one.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category predicates
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { greaterThanOrEqualTo } from "effect/Number"
  *
- * assert.deepStrictEqual(greaterThanOrEqualTo(2, 3), false)
- * assert.deepStrictEqual(greaterThanOrEqualTo(3, 3), true)
- * assert.deepStrictEqual(greaterThanOrEqualTo(4, 3), true)
+ * assert.equal(greaterThanOrEqualTo(2, 3), false)
+ * assert.equal(greaterThanOrEqualTo(3, 3), true)
+ * assert.equal(greaterThanOrEqualTo(4, 3), true)
  * ```
- *
- * @category predicates
- * @since 2.0.0
  */
 export const greaterThanOrEqualTo: {
   /**
-   * Returns a function that checks if a given `number` is greater than or equal to the provided one.
+   * Returns a function that checks if a given `number` is greater than or equal
+   * to the provided one.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { greaterThanOrEqualTo } from "effect/Number"
    *
-   * assert.deepStrictEqual(greaterThanOrEqualTo(2, 3), false)
-   * assert.deepStrictEqual(greaterThanOrEqualTo(3, 3), true)
-   * assert.deepStrictEqual(greaterThanOrEqualTo(4, 3), true)
+   * assert.equal(greaterThanOrEqualTo(2, 3), false)
+   * assert.equal(greaterThanOrEqualTo(3, 3), true)
+   * assert.equal(greaterThanOrEqualTo(4, 3), true)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (that: number): (self: number) => boolean
   /**
-   * Returns a function that checks if a given `number` is greater than or equal to the provided one.
+   * Returns a function that checks if a given `number` is greater than or equal
+   * to the provided one.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { greaterThanOrEqualTo } from "effect/Number"
    *
-   * assert.deepStrictEqual(greaterThanOrEqualTo(2, 3), false)
-   * assert.deepStrictEqual(greaterThanOrEqualTo(3, 3), true)
-   * assert.deepStrictEqual(greaterThanOrEqualTo(4, 3), true)
+   * assert.equal(greaterThanOrEqualTo(2, 3), false)
+   * assert.equal(greaterThanOrEqualTo(3, 3), true)
+   * assert.equal(greaterThanOrEqualTo(4, 3), true)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (self: number, that: number): boolean
 } = order.greaterThanOrEqualTo(Order)
@@ -536,83 +979,87 @@ export const greaterThanOrEqualTo: {
 /**
  * Checks if a `number` is between a `minimum` and `maximum` value (inclusive).
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category predicates
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { Number } from "effect"
  *
  * const between = Number.between({ minimum: 0, maximum: 5 })
  *
- * assert.deepStrictEqual(between(3), true)
- * assert.deepStrictEqual(between(-1), false)
- * assert.deepStrictEqual(between(6), false)
+ * assert.equal(between(3), true)
+ * assert.equal(between(-1), false)
+ * assert.equal(between(6), false)
  * ```
- *
- * @category predicates
- * @since 2.0.0
  */
 export const between: {
   /**
    * Checks if a `number` is between a `minimum` and `maximum` value (inclusive).
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { Number } from "effect"
    *
    * const between = Number.between({ minimum: 0, maximum: 5 })
    *
-   * assert.deepStrictEqual(between(3), true)
-   * assert.deepStrictEqual(between(-1), false)
-   * assert.deepStrictEqual(between(6), false)
+   * assert.equal(between(3), true)
+   * assert.equal(between(-1), false)
+   * assert.equal(between(6), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
-  (
-    options: {
-      minimum: number
-      maximum: number
-    }
-  ): (self: number) => boolean
+  (options: { minimum: number; maximum: number }): (self: number) => boolean
   /**
    * Checks if a `number` is between a `minimum` and `maximum` value (inclusive).
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category predicates
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { Number } from "effect"
    *
    * const between = Number.between({ minimum: 0, maximum: 5 })
    *
-   * assert.deepStrictEqual(between(3), true)
-   * assert.deepStrictEqual(between(-1), false)
-   * assert.deepStrictEqual(between(6), false)
+   * assert.equal(between(3), true)
+   * assert.equal(between(-1), false)
+   * assert.equal(between(6), false)
    * ```
-   *
-   * @category predicates
-   * @since 2.0.0
    */
   (
-    self: number,
-    options: {
-      minimum: number
-      maximum: number
-    }
+   self: number,
+   options: {
+     minimum: number
+     maximum: number
+   }
   ): boolean
 } = order.between(Order)
 
 /**
- * Restricts the given `number` to be within the range specified by the `minimum` and `maximum` values.
+ * Restricts the given `number` to be within the range specified by the
+ * `minimum` and `maximum` values.
  *
- * - If the `number` is less than the `minimum` value, the function returns the `minimum` value.
- * - If the `number` is greater than the `maximum` value, the function returns the `maximum` value.
+ * - If the `number` is less than the `minimum` value, the function returns the
+ *   `minimum` value.
+ * - If the `number` is greater than the `maximum` value, the function returns the
+ *   `maximum` value.
  * - Otherwise, it returns the original `number`.
  *
+ * @memberof Number
+ * @since 2.0.0
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { Number } from "effect"
  *
  * const clamp = Number.clamp({ minimum: 1, maximum: 5 })
@@ -621,20 +1068,24 @@ export const between: {
  * assert.equal(clamp(0), 1)
  * assert.equal(clamp(6), 5)
  * ```
- *
- * @since 2.0.0
  */
 export const clamp: {
   /**
-   * Restricts the given `number` to be within the range specified by the `minimum` and `maximum` values.
+   * Restricts the given `number` to be within the range specified by the
+   * `minimum` and `maximum` values.
    *
-   * - If the `number` is less than the `minimum` value, the function returns the `minimum` value.
-   * - If the `number` is greater than the `maximum` value, the function returns the `maximum` value.
+   * - If the `number` is less than the `minimum` value, the function returns the
+   *   `minimum` value.
+   * - If the `number` is greater than the `maximum` value, the function returns the
+   *   `maximum` value.
    * - Otherwise, it returns the original `number`.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { Number } from "effect"
    *
    * const clamp = Number.clamp({ minimum: 1, maximum: 5 })
@@ -643,25 +1094,24 @@ export const clamp: {
    * assert.equal(clamp(0), 1)
    * assert.equal(clamp(6), 5)
    * ```
-   *
-   * @since 2.0.0
    */
-  (
-    options: {
-      minimum: number
-      maximum: number
-    }
-  ): (self: number) => number
+  (options: { minimum: number; maximum: number }): (self: number) => number
   /**
-   * Restricts the given `number` to be within the range specified by the `minimum` and `maximum` values.
+   * Restricts the given `number` to be within the range specified by the
+   * `minimum` and `maximum` values.
    *
-   * - If the `number` is less than the `minimum` value, the function returns the `minimum` value.
-   * - If the `number` is greater than the `maximum` value, the function returns the `maximum` value.
+   * - If the `number` is less than the `minimum` value, the function returns the
+   *   `minimum` value.
+   * - If the `number` is greater than the `maximum` value, the function returns the
+   *   `maximum` value.
    * - Otherwise, it returns the original `number`.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { Number } from "effect"
    *
    * const clamp = Number.clamp({ minimum: 1, maximum: 5 })
@@ -670,58 +1120,59 @@ export const clamp: {
    * assert.equal(clamp(0), 1)
    * assert.equal(clamp(6), 5)
    * ```
-   *
-   * @since 2.0.0
    */
   (
-    self: number,
-    options: {
-      minimum: number
-      maximum: number
-    }
+   self: number,
+   options: {
+     minimum: number
+     maximum: number
+   }
   ): number
 } = order.clamp(Order)
 
 /**
  * Returns the minimum between two `number`s.
  *
+ * @memberof Number
+ * @since 2.0.0
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { min } from "effect/Number"
  *
- * assert.deepStrictEqual(min(2, 3), 2)
+ * assert.equal(min(2, 3), 2)
  * ```
- *
- * @since 2.0.0
  */
 export const min: {
   /**
    * Returns the minimum between two `number`s.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { min } from "effect/Number"
    *
-   * assert.deepStrictEqual(min(2, 3), 2)
+   * assert.equal(min(2, 3), 2)
    * ```
-   *
-   * @since 2.0.0
    */
   (that: number): (self: number) => number
   /**
    * Returns the minimum between two `number`s.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { min } from "effect/Number"
    *
-   * assert.deepStrictEqual(min(2, 3), 2)
+   * assert.equal(min(2, 3), 2)
    * ```
-   *
-   * @since 2.0.0
    */
   (self: number, that: number): number
 } = order.min(Order)
@@ -729,43 +1180,46 @@ export const min: {
 /**
  * Returns the maximum between two `number`s.
  *
+ * @memberof Number
+ * @since 2.0.0
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { max } from "effect/Number"
  *
- * assert.deepStrictEqual(max(2, 3), 3)
+ * assert.equal(max(2, 3), 3)
  * ```
- *
- * @since 2.0.0
  */
 export const max: {
   /**
    * Returns the maximum between two `number`s.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { max } from "effect/Number"
    *
-   * assert.deepStrictEqual(max(2, 3), 3)
+   * assert.equal(max(2, 3), 3)
    * ```
-   *
-   * @since 2.0.0
    */
   (that: number): (self: number) => number
   /**
    * Returns the maximum between two `number`s.
    *
+   * @memberof Number
+   * @since 2.0.0
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { max } from "effect/Number"
    *
-   * assert.deepStrictEqual(max(2, 3), 3)
+   * assert.equal(max(2, 3), 3)
    * ```
-   *
-   * @since 2.0.0
    */
   (self: number, that: number): number
 } = order.max(Order)
@@ -773,149 +1227,119 @@ export const max: {
 /**
  * Determines the sign of a given `number`.
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { sign } from "effect/Number"
  *
- * assert.deepStrictEqual(sign(-5), -1)
- * assert.deepStrictEqual(sign(0), 0)
- * assert.deepStrictEqual(sign(5), 1)
+ * assert.equal(sign(-5), -1)
+ * assert.equal(sign(0), 0)
+ * assert.equal(sign(5), 1)
  * ```
- *
- * @category math
- * @since 2.0.0
  */
 export const sign = (n: number): Ordering => Order(n, 0)
 
 /**
- * Takes an `Iterable` of `number`s and returns their sum as a single `number`.
- *
- * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { sumAll } from "effect/Number"
+ * Returns the remainder left over when one operand is divided by a second
+ * operand.
  *
- * assert.deepStrictEqual(sumAll([2, 3, 4]), 9)
- * ```
+ * It always takes the sign of the dividend.
  *
- * @category math
+ * @memberof Number
  * @since 2.0.0
- */
-export const sumAll = (collection: Iterable<number>): number => {
-  let out = 0
-  for (const n of collection) {
-    out += n
-  }
-  return out
-}
-
-/**
- * Takes an `Iterable` of `number`s and returns their multiplication as a single `number`.
- *
- * @example
- * ```ts
- * import * as assert from "node:assert"
- * import { multiplyAll } from "effect/Number"
- *
- * assert.deepStrictEqual(multiplyAll([2, 3, 4]), 24)
- * ```
- *
  * @category math
- * @since 2.0.0
- */
-export const multiplyAll = (collection: Iterable<number>): number => {
-  let out = 1
-  for (const n of collection) {
-    if (n === 0) {
-      return 0
-    }
-    out *= n
-  }
-  return out
-}
-
-/**
- * Returns the remainder left over when one operand is divided by a second operand.
- *
- * It always takes the sign of the dividend.
- *
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { remainder } from "effect/Number"
  *
- * assert.deepStrictEqual(remainder(2, 2), 0)
- * assert.deepStrictEqual(remainder(3, 2), 1)
- * assert.deepStrictEqual(remainder(-4, 2), -0)
+ * assert.equal(remainder(2, 2), 0)
+ * assert.equal(remainder(3, 2), 1)
+ * assert.equal(remainder(-4, 2), -0)
  * ```
- *
- * @category math
- * @since 2.0.0
  */
 export const remainder: {
   /**
-   * Returns the remainder left over when one operand is divided by a second operand.
+   * Returns the remainder left over when one operand is divided by a second
+   * operand.
    *
    * It always takes the sign of the dividend.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category math
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { remainder } from "effect/Number"
    *
-   * assert.deepStrictEqual(remainder(2, 2), 0)
-   * assert.deepStrictEqual(remainder(3, 2), 1)
-   * assert.deepStrictEqual(remainder(-4, 2), -0)
+   * assert.equal(remainder(2, 2), 0)
+   * assert.equal(remainder(3, 2), 1)
+   * assert.equal(remainder(-4, 2), -0)
    * ```
-   *
-   * @category math
-   * @since 2.0.0
    */
-  (divisor: number): (self: number) => number
+  (divisor: number): (dividend: number) => number
   /**
-   * Returns the remainder left over when one operand is divided by a second operand.
+   * Returns the remainder left over when one operand is divided by a second
+   * operand.
    *
    * It always takes the sign of the dividend.
    *
+   * @memberof Number
+   * @since 2.0.0
+   * @category math
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { remainder } from "effect/Number"
    *
-   * assert.deepStrictEqual(remainder(2, 2), 0)
-   * assert.deepStrictEqual(remainder(3, 2), 1)
-   * assert.deepStrictEqual(remainder(-4, 2), -0)
+   * assert.equal(remainder(2, 2), 0)
+   * assert.equal(remainder(3, 2), 1)
+   * assert.equal(remainder(-4, 2), -0)
    * ```
-   *
-   * @category math
-   * @since 2.0.0
    */
-  (self: number, divisor: number): number
-} = dual(2, (self: number, divisor: number): number => {
+  (dividend: number, divisor: number): number
+} = dual(2, (dividend: number, divisor: number): number => {
   // https://stackoverflow.com/questions/3966484/why-does-modulus-operator-return-fractional-number-in-javascript/31711034#31711034
-  const selfDecCount = (self.toString().split(".")[1] || "").length
+  const selfDecCount = (dividend.toString().split(".")[1] || "").length
   const divisorDecCount = (divisor.toString().split(".")[1] || "").length
   const decCount = selfDecCount > divisorDecCount ? selfDecCount : divisorDecCount
-  const selfInt = parseInt(self.toFixed(decCount).replace(".", ""))
+  const selfInt = parseInt(dividend.toFixed(decCount).replace(".", ""))
   const divisorInt = parseInt(divisor.toFixed(decCount).replace(".", ""))
   return (selfInt % divisorInt) / Math.pow(10, decCount)
 })
 
 /**
- * Returns the next power of 2 from the given number.
+ * Returns the next power of 2 greater than or equal to the given number.
+ *
+ * - For `positive` inputs, returns the smallest power of 2 that is >= the input
+ * - For `zero`, returns 2
+ * - For `negative` inputs, returns NaN (as logarithms of negative numbers are
+ *   undefined)
+ * - For `NaN` input, returns NaN
+ * - For `Infinity`, returns Infinity
  *
+ * @memberof Number
+ * @since 2.0.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { nextPow2 } from "effect/Number"
  *
- * assert.deepStrictEqual(nextPow2(5), 8)
- * assert.deepStrictEqual(nextPow2(17), 32)
+ * assert.equal(nextPow2(5), 8)
+ * assert.equal(nextPow2(17), 32)
+ * assert.equal(nextPow2(0), 2)
+ * assert.equal(Number.isNaN(nextPow2(-1)), true) // Negative inputs result in NaN
  * ```
- *
- * @category math
- * @since 2.0.0
  */
 export const nextPow2 = (n: number): number => {
   const nextPow = Math.ceil(Math.log(n) / Math.log(2))
@@ -923,13 +1347,26 @@ export const nextPow2 = (n: number): number => {
 }
 
 /**
- * Tries to parse a `number` from a `string` using the `Number()` function.
- * The following special string values are supported: "NaN", "Infinity", "-Infinity".
+ * Tries to parse a `number` from a `string` using the `Number()` function. The
+ * following special string values are supported: "NaN", "Infinity",
+ * "-Infinity".
  *
- * @category constructors
+ * @memberof Number
  * @since 2.0.0
+ * @category constructors
  */
-export const parse = (s: string): Option<number> => {
+export const parse: {
+  /**
+   * Tries to parse a `number` from a `string` using the `Number()` function. The
+   * following special string values are supported: "NaN", "Infinity",
+   * "-Infinity".
+   *
+   * @memberof Number
+   * @since 2.0.0
+   * @category constructors
+   */
+  (s: string): Option<number>
+} = (s) => {
   if (s === "NaN") {
     return option.some(NaN)
   }
@@ -943,57 +1380,58 @@ export const parse = (s: string): Option<number> => {
     return option.none
   }
   const n = Number(s)
-  return Number.isNaN(n)
-    ? option.none
-    : option.some(n)
+  return Number.isNaN(n) ? option.none : option.some(n)
 }
 
 /**
  * Returns the number rounded with the given precision.
  *
+ * @memberof Number
+ * @since 3.8.0
+ * @category math
  * @example
+ *
  * ```ts
- * import * as assert from "node:assert"
+ * import * as assert from "node:assert/strict"
  * import { round } from "effect/Number"
  *
- * assert.deepStrictEqual(round(1.1234, 2), 1.12)
- * assert.deepStrictEqual(round(1.567, 2), 1.57)
+ * assert.equal(round(1.1234, 2), 1.12)
+ * assert.equal(round(1.567, 2), 1.57)
  * ```
- *
- * @category math
- * @since 3.8.0
  */
 export const round: {
   /**
    * Returns the number rounded with the given precision.
    *
+   * @memberof Number
+   * @since 3.8.0
+   * @category math
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { round } from "effect/Number"
    *
-   * assert.deepStrictEqual(round(1.1234, 2), 1.12)
-   * assert.deepStrictEqual(round(1.567, 2), 1.57)
+   * assert.equal(round(1.1234, 2), 1.12)
+   * assert.equal(round(1.567, 2), 1.57)
    * ```
-   *
-   * @category math
-   * @since 3.8.0
    */
   (precision: number): (self: number) => number
   /**
    * Returns the number rounded with the given precision.
    *
+   * @memberof Number
+   * @since 3.8.0
+   * @category math
    * @example
+   *
    * ```ts
-   * import * as assert from "node:assert"
+   * import * as assert from "node:assert/strict"
    * import { round } from "effect/Number"
    *
-   * assert.deepStrictEqual(round(1.1234, 2), 1.12)
-   * assert.deepStrictEqual(round(1.567, 2), 1.57)
+   * assert.equal(round(1.1234, 2), 1.12)
+   * assert.equal(round(1.567, 2), 1.57)
    * ```
-   *
-   * @category math
-   * @since 3.8.0
    */
   (self: number, precision: number): number
 } = dual(2, (self: number, precision: number): number => {