Infinite argument arithmetic