Integers

cline-int

Call with (ignored)

Returns a cline that applies to all integers in ascending order.

int-zero

Call with (ignored)

Returns the integer 0.

int-one

Call with (ignored)

Returns the integer 1.

fuse-int-by-plus

Call with (ignored)

Returns a fuse that fuses integers by adding them together.

fuse-int-by-times

Call with (ignored)

Returns a fuse that fuses integers by multiplying them.

int-minus

Call with minuend subtrahend

Subtracts the second given integer from the first.

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.