The float() function