Hi,
That were the points I actually made.... 
( ok I'll bite ...

)
You said " ... Floats will be very, very slow ... ".
IMHO, the results doesn't show this. Slower ( as expected ) yes, ( even if there is a case which divi with floats is actually faster that divi with long. Keep in mind that in GCC anyway the timing for float +/-/*/div are VERY sensitive to the input data ) but "... very, very slow ... " ? Sorry I don't see it ...
Could you please clarify which points you made about floats, are proven by my post ? ( I assume from your post that your opinion is that implementing / fixing avr soft float is just wasting fpc dev's time and resources ... )
regards,