Add to-Python converters for numeric types