The hyperreal number system has been developed since the 1960s, starting with the ground-breaking work of Abraham Robinson, for the purpose of doing nonstandard analysis [10]. The main motivation for its development derives ...