wiki:python/operator/add