Function div_ceil

fn div_ceil<T: Integer>(x: T, y: T) -> T