Briefly, this is very similar to nonstandard analysis and the hyperreal number system. The paper appears to follow along the trails considered by NSA and HR textbooks previously. Those works are fully rigorous, so this paper seems a little redundant in the logic portion.

I even attempted to code those systems in C/python/java.