/ (dividend divisor -- quotient)

Inputs

• dividend: Numeric value being divided.
• divisor: Numeric value dividing the dividend to produce the quotient.

Outputs

• quotient: Quotient value.

/ computes numeric division. Both inputs are dereferenced, must be non-NIL, and must have the same numeric schema.

Behavior

• Int uses signed integer division and keeps the same signed Whole schema.
• Nat uses unsigned integer division and keeps the same unsigned Whole schema.
• Real uses floating division and keeps the same real schema.
• Whole-number division stays in the same Whole schema. It does not widen to Real.
• If the divisor is known to be 0, the builtin is invalid.
• If both operands are known at compile time and the divisor is non-zero, the result is computed at compile time.
• If either operand is unknown, the result is an unknown value of the same numeric schema.
• If the divisor is known 1 and the dividend is unknown, the result stays unknown even though its value matches the dividend. Only the schema is preserved explicitly.

Example

{} () {} [
  "-- int32 --" printCompilerMessage
  8 2 / printStack _:;
  7 2 / printStack _:;
  -7 2 / printStack _:;

  "-- nat32 --" printCompilerMessage
  7n32 2n32 / printStack _:;

  "-- real32 --" printCompilerMessage
  7.5r32 2.5r32 / printStack _:;

  "-- unknown int32 --" printCompilerMessage
  value: 0 dynamic;
  value 2 / printStack _:;
] "main" exportFunction

Expected Output During Compilation

-- int32 --
4
3
-3
-- nat32 --
3n32
-- real32 --
3.0r32
-- unknown int32 --
Int32

See also

• mod builtin (dividend divisor -- remainder) Computes the remainder of numeric division; signed Int, unsigned Nat, and Real values each follow their own remainder semantics.