Rigorous algebraic zero impeding numeration