Constructors
The type has the following constructors:
The constructor taking a value v of
type boolean
results in a value 0.0 iff
v = false and
a value 1.0
v = true.
The constructor taking a value v of
type integer
results in an value with an integral part as close as possible to the
value of v dependent on the internal
precision of the float type.
The float type is a
scalar type. As with the other
scalar types, the
type rule for the construction of values of type
float is: