Python Floating Point Type