Generic floating-point types in Python
