Maxima Function
nonnegintegerp (n)
Return true if and only if n >= 0 and n is an integer.
true
n >= 0