tuncer/triq — pull request #1 by tuncer (2013-03-13 16:54:31+00:00)
Title: Fix pos_integer/0 and non_neg_integer/0

Also add test properties for pos_integer/0 and non_neg_integer/0.