_÷_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _+_
_-_
Argument 2 _×_
_÷_
_mod_
_+_
_-_

Definitions:

extended integer's type, extended integer
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Integers, Types
Compute and answer the integer range type of the quotient.
Position Name Type Description
Parameters
1 numeratorRange extended integer's type
2 denominator extended integer
Returns extended integer's type The narrowest integer range type general enough to hold all possible quotients of numeratorRange 's instances and denominator.
number, number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the quotient of the arguments.
Position Name Type Description
Parameters
1 dividend number The dividend.
2 divisor number The divisor.
Returns number The quotient of the dividend and the divisor.
Raises
cannot-divide-by-zero exception
cannot-divide-infinities exception
extended integer's type, extended integer's type
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Integers, Types
Compute and answer the integer range type of the quotient.
Position Name Type Description
Parameters
1 numeratorRange extended integer's type
2 denominator extended integer's type
Returns extended integer's type The narrowest integer range type general enough to hold all possible quotients of `numeratorRange`'s instances and `denominator`.

Semantic restrictions:

number, number
Source: /avail/Avail/Foundation/Early Math
Type Description
Parameter Types
number
number
extended integer's type, extended integer's type
Source: /avail/Avail/Foundation/Math
Compute and answer the integer range type of the quotient of the argument types.
Type Description
Parameter Types
extended integer's type
extended integer's type