Double precision (64bit) floating point in NIOSII

Hi, I have had to make a DP FPU for a customer here - have done add and mult (divide yet to come) I have a full NIOSII project using this , which runs in the 1C20 NIOS board - anyone want me to...