Function positive_float 

pub(crate) fn positive_float<B>(b: &mut B, offset: usize) -> B::Bool
where
    B: RotationBackend,