Applicable FCs with an indefinite width simply shrink in their available space as long as floats are intruding, but as soon as we have a definite width we must push the box down until it it has enough space again. Fixes #4136.
