Lines Matching defs:rest
547 std::uint64_t rest, std::uint64_t ten_k)
551 JSON_ASSERT(rest <= delta);
561 // <---- rest ---->
573 while (rest < dist
574 && delta - rest >= ten_k
575 && (rest + ten_k < dist || dist - rest > rest + ten_k - dist))
579 rest += ten_k;
640 // = d[k-1] * 10^(k-1) + ( rest) * 2^e
648 // rest * 2^e = (d[n-1]...d[0] * 2^-e + p2) * 2^e <= delta * 2^e
678 // p1 + p2 * 2^e = (p1 * 2^-e + p2) * 2^e = rest * 2^e
681 // Since rest and delta share the same exponent e, it suffices to
683 const std::uint64_t rest = (std::uint64_t{p1} << -one.e) + p2;
684 if (rest <= delta)
700 grisu2_round(buffer, length, dist, delta, rest, ten_n);