Floating Point Co-Processor

Yes, but I don't think it is very easy to organise it as a preprocessor between some device and the arduino.

Why not? OK maybe for some, but the FPU has autonomous inputs serial?