Function lean_ctor_set_float 

pub unsafe fn lean_ctor_set_float(o: b_lean_obj_arg, offset: u32, v: f64)

Write an f64 field at byte offset within the scalar payload (lean.h:752–755).

Safety

Same as lean_ctor_set_uint64.