How about double dot, dot, and no dot releases, (for the number of decimals in it.) I do believe having terminology for this would be good and cool. *+ 0.5*
_______________________________________________ Tutor maillist - Tutor@python.org To unsubscribe or change subscription options: http://mail.python.org/mailman/listinfo/tutor
