Non-standard analysis in dynamic geometry. (March 2020)