Function lean_box_float 

pub unsafe fn lean_box_float(v: f64) -> lean_obj_res

Box an f64 as a single-field constructor (lean.h:2855–2859).

Safety

Same as lean_box_uint32.