Added proper quickcheck for arithmetic division.
Removed superfluous comment.