Re: Issue 2149 in lilypond: Patch: Creates non-negative-integer? predicate.

[lilypond]

Comment #24 on issue 2149 by address@hidden: Patch: Creates  
non-negative-integer? predicate.
http://code.google.com/p/lilypond/issues/detail?id=2149

natural-integer? is nonsensical since integers are an arithmetic type and  
have different axioms than naturals (even though they are isomorphic).   
Makes about as much sense as natural-fraction?.  And the problem  
that "natural" is a mathematical term without much of an agreement whether  
0 is included (after all, for naturals "0" is just an arbitrary label  
without arithmetic meaning) is not addressed.

I'll be taking the "index?" route since it seems to be quite well matched  
to actual usage.  I doubt that we have many cases where we would need a  
predicate for the _arithmetic_ properties of non-negative integers.

Sorry for forgetting this one for so long.