Skip to main content

praxis_alloc_float

praxis_runtime::abi

Function praxis_alloc_float 

Source 
#[unsafe(no_mangle)]
pub unsafe extern "C" fn praxis_alloc_float(
    ctx: *mut RuntimeContext,
    value: i64,
) -> GcRef
Expand description

Allocate a boxed Float from an i64 carrying the IEEE-754 binary64 bit pattern (§4.3, §4.12). The uniform scalar ABI carries every payload as i64; a float is transported as f64::to_bits() and reassembled here.

§Safety

ctx must point at a live, wired RuntimeContext.