On Mon, Jul 16, 2012 at 02:03:42PM +0800, Liu Yuan wrote: > Int just reminds me of 'integer' for a first look. Would be nice to use > a more descriptive and unambiguous name. Suggest a good one and I'll change it.