Ostrowski_numeration loading ...