Changed from double to float.

TODO: Change the format of the dump to contain floats as well.