Test that a float inside a spanner stretches an auto-height spanner, since the spanner is supposed to establish a new block formatting context.

Below you should see a green square, followed by the word 'PASS' (with large letter spacing), and no red.