Another question is whether you'd want to include negative zero as a positive integer.