String representation of large numbers in Python