TinyCLR Floating Point Implementation

GHI Electronics Team,
Would you be able to provide some insight into the floating point implementation for TinyCLR.
Do you use the FPU when supported by the processor (i.e., G80)? Is the implementation IEEE 754 compliant? Any performance issues?
Thanks.

We have not done any testing at this early stage but I am near positive this is internally handled properly.