Экспериментальным путем выяснено, что выпадение div'а с float из внешнего родительского div'а лечится присвоением родительскому overflow: auto!! Сколько лет я с этим долбалась, этот вариант почему-то никогда не попадался в описаниях. hidden тоже работает, но оно тут ни к чему мне кажется.