User blog comment:Edwin Shade/Negatively Indexed Epsilon Numbers/@comment-1605058-20171224230129/@comment-30754445-20171225173444

@Denis:

2 = 00+00