import { h as IsDivisibleBy, D as Divide, a as Absolute, N as Negative } from './chunks/CM89_aaq.js';
import { z as IsAnyNumber, D as IsAnyDecimal, p as IsZero, w as IsAllPositive, x as IsAllNegative, C as IsAnyNegative } from './chunks/DZEfmVOc.js';
import './BooleanNor.js';
import './BooleanNot.js';
import './BooleanOr.js';
import './Tuple.js';
import './BooleanAnd.js';
import './MaybeReadonly.js';
import './TupleLength.js';

/**
 * Quotient of two positive integers.
 *
 * @template A The numerator.
 * @template B The denominator.
 * @returns The quotient of the two positive integers
 * @example MathDivide<10, 2> // 5
 */
type MathDivide<A extends number, B extends number> = IsAnyNumber<A, B> extends true ? number : IsAnyDecimal<A, B> extends true ? number : IsZero<B> extends true ? never : IsDivisibleBy<A, B> extends false ? number : IsAllPositive<A, B> extends true ? Divide<A, B> : IsAllNegative<A, B> extends true ? Divide<Absolute<A>, Absolute<B>> : IsAnyNegative<A, B> extends true ? Negative<Divide<Absolute<A>, Absolute<B>>> : never;

export type { MathDivide };