Fix in DoubleColumn::get_int