# Integers¶

## int-div-rounded-down¶

Call with `dividend divisor`

Divides the first given integer by the second. Returns (nil) for a zero divisor or otherwise (carried `<quotient>`

`<remainder>`

), where `<quotient>`

is the greatest integer that when multiplied by the divisor is no greater than the dividend and `<remainder>`

is the remaining amount that must be added to reach the dividend.

## carried¶

Construct with `main carry`

An approximated value along with a carry value that makes up for the missing information.

This constructor is needed to deconstruct the result of int-div-rounded-down.