Microcontrollers: Can I perform floating point operations in a Microblaze controller?
Floating-point operations are available, see this document. Try the Xilinx forums for support.

That document, in the FPU section on page 78, says that the processor supports: 


  The FPU implements the following floating point operations:
  • addition, fadd
  • subtraction, fsub
  • multiplication, fmul
  • division, fdiv
  • square root, fsqrt (available if C_USE_FPU = 2)
  Comparison
  • compare less-than, fcmp.lt
  • compare equal, fcmp.eq
  • compare less-or-equal, fcmp.le
  • compare greater-than, fcmp.gt
  • compare not-equal, fcmp.ne
  • compare greater-or-equal, fcmp.ge
  • compare unordered, fcmp.un (used for NaN)
  Conversion
  The FPU implements the following conversions (available if C_USE_FPU = 2):
  • convert from signed integer to floating point, flt
  • convert from floating point to signed integer, fint