Best way to pass floating-point numbers to DDR - Zedboard
Found an answer here:

http://forums.xilinx.com/t5/Embedded-Development-Tools/problem-in-passing-floating-point-values-to-custom-ip/m-p/590261#M35926

And as an answer needs to have 30 characters I'll write some blablablaa