30   static constexpr uint64_t high(uint64_t v) { return (v >> 32) & MASK32; }  in high()  function
74       carry = high(res_lo);  in add()
77       uint64_t res_hi = high(val[i]) + high(x.val[i]) + carry;  in add()
78       carry = high(res_hi);  in add()
105     uint64_t x_hi = high(x);  in mul()
111       uint64_t h = high(val[i]);  in mul()
116       carry = high(res_lo);  in mul()
117       uint64_t res_hi = high(p1) + low(p2) + carry;  in mul()
118       carry = high(res_hi) + high(p2);  in mul()
131       uint64_t h = high(val[i]);  in mul()
136       carry = high(res_lo);  in mul()
137       uint64_t res_hi = high(p1) + low(p2) + carry;  in mul()
138       carry = high(res_hi) + high(p2);  in mul()
367   uint64_t temp_middle_1 = low(val[0]) * high(other[0]);
368   uint64_t temp_middle_2 = high(val[0]) * low(other[0]);
374                        high(val[0]) * high(other[0]) +
378       low(val[0]) * high(other[1]) + high(val[0]) * low(other[1]) +
379       low(val[1]) * high(other[0]) + high(val[1]) * low(other[0]);
384       high(temp_low) + low(temp_middle_1) + low(temp_middle_2);
387   uint64_t new_high = high(temp_low_middle) + high(temp_middle_1) +
388                       high(temp_middle_2) + temp_high +