conversion commands
float2xdr
<float>
-
converts a single precision number into one 32-bit integer in decimal notation
representing the numbers value in IEEE single precision format.
xdr2float
<integer>
-
converts one 32-bit integer (in any allowed notation) into a single precision
number assuming the integer number represents a single number in IEEE
notation.
double2xdr
<double>
-
converts a double precision number into two 32-bit integers in decimal
notation representing the numbers value in IEEE double precision format.
xdr2double
<integer integer>
-
converts two 32-bit integers (in any allowed notation) into a double precision
number assuming the two integer numbers represent a double number in IEEE
notation.
string2xdr
<string>
-
converts a string into a XDR string, i.e. one 32-bit integer giving the number
of characters (=bytes) followed by as many 32-bit integers as needed to
contain the characters, e.g. "abcde" -> "5 1633837924 1694498816" (="5
0x61626364 0x65000000").
xdr2string
<xdr_string> <variable name>
-
converts a XDR string into a normal string and writes it to the named
variable, returns nothing.
timeofday
-
returns a list of two integer numbers representing the system time in seconds
and microseconds since 1-Jan-1970 01:00:00.
timeofday_sec
-
returns an integer number representing the system time in full seconds.
(historical; same as
clock seconds
)
doubletime
-
returns a double precision number representing the system time in seconds.