Make sure we're comparing integers in positive_integer