Function div_floor

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