Function rustc_apfloat::ieee::sig::widening_mul
source · Expand description
[low, high] = a * b
.
This cannot overflow, because
(n - 1) * (n - 1) + 2 * (n - 1) == (n - 1) * (n + 1)
which is less than n2.
[low, high] = a * b
.
This cannot overflow, because
(n - 1) * (n - 1) + 2 * (n - 1) == (n - 1) * (n + 1)
which is less than n2.