Rename pos_numeric_arg to nonnegative_numeric_arg to better reflect what it actually does. This was done because I need a real pos_numeric_arg to fix a bug in ZOOM and I didn't want to confuse the two functions.
Authored by: david_costanzo 2008-03-07
Parent: [r2619]
Child: [r2621]