Use of floating point numbers in xilinx EDK .........

In my project the values are floating point. Since these floats take huge memory we have taken an SDRAM controller . These values are input to a custom peripheral which is linked to Microblaze through FSL. I have declared a float array which contains the input values.When i try to read these values using printf in C code then i only get the first value as correct output and rest all comes as some random symbols ( #, space etc).... Can anyone please help me guiding how can I handle floats in EDK ..........Any sort of related help is welcome........... :)