Eq package:natural-arithmetic

Are the two arguments equal to one another?
Is the first argument less-than-or-equal-to the second argument?