Semantics
An expression [float t]
describes an IEEE754 floating point type with
t
bits of precision.
The IEEE754 standard, as of the most recent revision, defines
binary16,
binary32,
binary64,
binary128,
decimal32,
decimal64, and
decimal128 types.
If t == 16, the expression
[float t] denotes the
binary16 type.
If t == 32, the expression
[float t] denotes the
binary32 type.
If t == 64, the expression
[float t] denotes the
binary64 type.
If s <= 0, the type
is rejected as invalid.
The float type is considered
to be a scalar type when considered
as an element of a vector or
matrix type.