Lines Matching defs:point
215 // we simply switch the first digit to '1' and update the decimal-point
216 // (indicating that the point is now one digit to the right).
224 // The given fractionals number represents a fixed-point number with binary
225 // point at bit (-exponent).
231 // generated by this function might be updated, and the decimal-point variable
239 // 'fractionals' is a fixed-point number, with binary point at bit
241 // is a fixed-point number, with binary point at bit 'point'.
245 int point = -exponent;
248 // Instead of multiplying by 10 we multiply by 5 and adjust the point
250 // Invariant at the beginning of the loop: fractionals < 2^point.
251 // Initially we have: point <= 64 and fractionals < 2^56
252 // After each iteration the point is decremented by one.
256 // time point will satisfy point <= 61 and therefore fractionals < 2^point
259 point--;
260 int digit = static_cast<int>(fractionals >> point);
263 fractionals -= static_cast<uint64_t>(digit) << point;
265 // If the first bit after the point is set we have to round up.
266 if (((fractionals >> (point - 1)) & 1) == 1) {
273 int point = 128;
277 // point location.
280 point--;
281 int digit = fractionals128.DivModPowerOf2(point);
285 if (fractionals128.BitAt(point - 1) == 1) {
293 // If leading zeros are removed then the decimal point position is adjusted.
