Add quickcheck property

Fails for negative numbers!