Fix a nasty (and long-standing) FloatOut performance bug