Дана тривиальная формализация неформальных рассуждений серии работ Я.Д.Сергеева о позиционной системе счисления с бесконечно большим основанием (гросс-единицей), произвольно противопоставленной ее автором классическому нестандартному анализу.

Ключевые слова:нестандартный анализ, инфинитезимальный анализ, позиционная система счисления.