change an int to a float