>>16815606
NTA but in every text on nonstandard analysis, 0 is indeed formalized as the only infinitesimal in the standard reals.