Function lean_ctor_get_float 

pub unsafe fn lean_ctor_get_float(o: b_lean_obj_arg, offset: u32) -> f64

Read an f64 field at byte offset within the scalar payload (lean.h:717–720).

Safety

Same as lean_ctor_get_uint64.