- int32_float32_when(?Int32:integer, ?Float32:float) is det[private]
- Reinterpret-cast between uint32 and float32. For example,
int32_float32(0x3f800000,1.0).This predicate delays until either
Int32orFloat32is sufficiently instantiated.There is also a non-delayed uint32_int32/2