An implementation of positive integer arithmetic in Python