Adding large numbers is trivial in Python