Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities - Mauro Di Nasso; Marco Forti (2022)