VHDL and floating point numbers (IEEE754)

Question

I am implementing a PRNG in VHDL using LFSRs. LFSR generates uniform distributed numbers, but I need exponential distribution. Therefore I would like to use floating point numbers based on IEEE754 standard, but this can not be synthesized by the Xilinx Synthesis tool. Could you help me out what should I do? Is there any synthesis-ready libraries or VHDL codes out there?

Thank you in advance!

Answer 1

In Vivado's IP catalog a float IP can be found. It is connected via AXI-4, but it is fine for me, because I'm using MicroBlaze.