對於每個整數型別 S，S'Integer_Value 表示一個具有以下規範的函式
function S'Integer_Value (Arg : <Universal_Fixed>) return S;
返回的值是整數值 V，使得
Arg = V * T'Small
其中 T 是 Arg 的型別。因此，其效果類似於首先對定點型別執行一個未經檢查的轉換到其相應的實現型別，然後將結果轉換為目標整數型別。區別在於存在完整的範圍檢查，以確保結果在範圍內。此屬性主要用於實現定點值的標準輸入輸出函式。