This is a weird way to write `size >= next_size / 2`.