In Arduino libraries up to 0012, there is no built-in way to print a float variable to the serial port. What you're using is casting the value to an integer. There are a number of home-grown functions here to fill that gap. I've heard 0013 will have a float-to-string or float-to-print capability but I don't know the details.