127   TypeParam y(1ll << 62);  in TYPED_TEST()  local
128   EXPECT_EQ((y + y + y + y + y + y) / y, 6);  in TYPED_TEST()
129   EXPECT_EQ(-(2 * (-y)), 2 * y); // -(-2^63) overflow.  in TYPED_TEST()
131   EXPECT_EQ(x, (y * y) / 16);  in TYPED_TEST()
132   y += y;  in TYPED_TEST()
133   y += y;  in TYPED_TEST()
134   y += y;  in TYPED_TEST()
135   y /= 8;  in TYPED_TEST()
136   EXPECT_EQ(y, 1ll << 62);  in TYPED_TEST()
167   for (const TypeParam &y : {x, x * x}) {  in TYPED_TEST()
168     EXPECT_EQ(floorDiv(3 * y, three), y);  in TYPED_TEST()
169     EXPECT_EQ(ceilDiv(3 * y, three), y);  in TYPED_TEST()
170     EXPECT_EQ(floorDiv(3 * y - 1, three), y - 1);  in TYPED_TEST()
171     EXPECT_EQ(ceilDiv(3 * y - 1, three), y);  in TYPED_TEST()
172     EXPECT_EQ(floorDiv(3 * y - 2, three), y - 1);  in TYPED_TEST()
173     EXPECT_EQ(ceilDiv(3 * y - 2, three), y);  in TYPED_TEST()
175     EXPECT_EQ(mod(3 * y, three), 0);  in TYPED_TEST()
176     EXPECT_EQ(mod(3 * y + 1, three), one);  in TYPED_TEST()
177     EXPECT_EQ(mod(3 * y + 2, three), two);  in TYPED_TEST()
179     EXPECT_EQ(floorDiv(3 * y, y), 3);  in TYPED_TEST()
180     EXPECT_EQ(ceilDiv(3 * y, y), 3);  in TYPED_TEST()
181     EXPECT_EQ(floorDiv(3 * y - 1, y), 2);  in TYPED_TEST()
182     EXPECT_EQ(ceilDiv(3 * y - 1, y), 3);  in TYPED_TEST()
183     EXPECT_EQ(floorDiv(3 * y - 2, y), 2);  in TYPED_TEST()
184     EXPECT_EQ(ceilDiv(3 * y - 2, y), 3);  in TYPED_TEST()
186     EXPECT_EQ(mod(3 * y, y), 0);  in TYPED_TEST()
187     EXPECT_EQ(mod(3 * y + 1, y), 1);  in TYPED_TEST()
188     EXPECT_EQ(mod(3 * y + 2, y), 2);  in TYPED_TEST()
190     EXPECT_EQ(abs(y), y);  in TYPED_TEST()
191     EXPECT_EQ(abs(-y), y);  in TYPED_TEST()
193     EXPECT_EQ(gcd(2 * y, 3 * y), y);  in TYPED_TEST()
194     EXPECT_EQ(lcm(2 * y, 3 * y), 6 * y);  in TYPED_TEST()
195     EXPECT_EQ(gcd(15 * y, 6 * y), 3 * y);  in TYPED_TEST()
196     EXPECT_EQ(lcm(15 * y, 6 * y), 30 * y);  in TYPED_TEST()