对于每个整数类型 S，S'Integer_Value 表示一个具有以下规范的函数
function S'Integer_Value (Arg : <Universal_Fixed>) return S;
返回的值是整数值 V，使得
Arg = V * T'Small
其中 T 是 Arg 的类型。因此，其效果类似于首先对定点类型执行一个未经检查的转换到其相应的实现类型，然后将结果转换为目标整数类型。区别在于存在完整的范围检查，以确保结果在范围内。此属性主要用于实现定点值的标准输入输出函数。