python 3 float built-in function