def Float.Model.UnpackedFloat.roundToInt (sign : Sign) (mantissa : Nat) (exponent : Int) : Int

Returns an Int that is close to the given (sign, mantissa, exponent) triple. Specifically, we round to zero rather than rounding to nearest like we do everywhere else.

def Float.Model.UnpackedFloat.toInt (negativeInfinity positiveInfinity : Int) : UnpackedFloat → Int

Converts an UnpackedFloat to an Int, sending NaN to 0 and positive and negative infinity to the given values.

def Float.Model.UnpackedFloat.toUInt8 (f : UnpackedFloat) : UInt8

Converts an UnpackedFloat to a UInt8, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toUInt16 (f : UnpackedFloat) : UInt16

Converts an UnpackedFloat to a UInt16, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toUInt32 (f : UnpackedFloat) : UInt32

Converts an UnpackedFloat to a UInt32, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toUInt64 (f : UnpackedFloat) : UInt64

Converts an UnpackedFloat to a UInt64, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toUSize (f : UnpackedFloat) : USize

Converts an UnpackedFloat to a USize, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toInt8 (f : UnpackedFloat) : Int8

Converts an UnpackedFloat to an Int8, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toInt16 (f : UnpackedFloat) : Int16

Converts an UnpackedFloat to an Int16, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toInt32 (f : UnpackedFloat) : Int32

Converts an UnpackedFloat to an Int32, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toInt64 (f : UnpackedFloat) : Int64

Converts an UnpackedFloat to an Int64, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.

def Float.Model.UnpackedFloat.toISize (f : UnpackedFloat) : ISize

Converts an UnpackedFloat to an ISize, truncating after the decimal point, sending NaN to 0 and clamping out-of-range values and infinities.