2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/210447A trivial formalization is given for the informal reasonings presented in a series of papers by Ya.D.Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator to the classical nonstandard analysis.6 pages; a footnote on a foundation support is addedGeneral Mathematics26E35text