User blog comment:Wythagoras/All my stuff/@comment-7484840-20130708083606/@comment-7484840-20130708163106

As soon as you go above omega, you need 3 extra rules: (a+b)[n] = a+(b[n]) And the same for multiplication and exponentiation for up to epsilon 0.