- 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
Int32
orFloat32
is sufficiently instantiated.There is also a non-delayed uint32_int32/2