Function binary_decomposition_le 

fn binary_decomposition_le<T: PrimInt>(value: T) -> Vec<bool>