add quickcheck generators for int32 and int64