float(int) converts an int into a float number.
float(float afloat) simply returns afloat itself. This function is provided for polymorphic programming.
int
