Constant USER_MARSHAL_FC_FLOAT 

pub const USER_MARSHAL_FC_FLOAT: u32 = 10u32;