what is a float