truncated
Answer an Avail integer that holds the truncation of the double argument, rounded towards zero.
Return
An Avail integer.
Parameters
a
The object whose truncation should be encoded as an Avail integer.
Answer an Avail integer that holds the truncation of the double argument, rounded towards zero.
An Avail integer.
The object whose truncation should be encoded as an Avail integer.