int32-to-integer

int32-to-integer Function

Summary

The destructor converting an int32 object to an integer.

Package

system

Signature

int32-to-integer int32 => integer

Arguments

int32⇩

An int32 object or an integer of type (signed-byte 32).

Values

integer⇩

An integer of type (signed-byte 32).

Description

The function int32-to-integer returns an integer integer of type (signed-byte 32) corresponding to the int32 object int32. The argument int32 can also be an integer of type (signed-byte 32), in which case it is simply returned.

An error is signaled if int32 is not of type int32 or (signed-byte 32).

See the section 28.2.2 Fast 32-bit arithmetic for more information about the INT32 API.