Function round_down_to_increment 

pub fn round_down_to_increment<N, M>(size: N, increment: M) -> Result<N, Errno>
where
    N: TryInto<u64> + TryFrom<u64>,
    M: TryInto<u64>,