Fixed push_at_least to comply with latest Rust