FloatType

Next: Up: Arithmetic Previous: max,min Contents Index

FloatType

Usage

FloatType: Category

Description

FloatType is the category of types representing floats.

Exports

InputType

OrderedArithmeticType

OutputType

SerializableType

: (%, %) $\to$ % division

coerce: MachineInteger $\to$ % conversion to a float

fraction: % $\to$ % fractional part

truncate: % $\to$ AldorInteger truncation

Subsections

coerce
fraction,truncate

Manuel Bronstein 2004-06-28

`InputType`
`OrderedArithmeticType`
`OutputType`
`SerializableType`
:	(%, %) $\to$ %	division
`coerce`:	`MachineInteger` $\to$ %	conversion to a float
`fraction`:	% $\to$ %	fractional part
`truncate`:	% $\to$ `AldorInteger`	truncation