 In certain models of SIA the system of natural numbers possesses some subtle and intriguing features which make it possible to introduce another type of infinitesimal—the so-called invertible infinitesimals—resembling those of nonstandard analysis, whose presence engenders yet another infinitesimal neighborhood of 0 properly containing all those introduced above.