dmodapp.lib
LIB "dmodapp.lib"; ring r = 0,x,dp; number n = 4/3; isInt(n); ==> 0 n = 11; isInt(n); ==> 1