A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis.