int32_float32(0x3f800000,1.0)
This predicate delays until either Int32 or Float32 is sufficiently instantiated.
Int32
Float32
There is also a non-delayed uint32_int32/2
Value
Codes