Lines Matching defs:Double
19 class Double {
29 Double() : d64_(0) {}
30 explicit Double(double d) : d64_(double_to_uint64(d)) {}
31 explicit Double(uint64_t d64) : d64_(d64) {}
32 explicit Double(DiyFp diy_fp) : d64_(DiyFpToUint64(diy_fp)) {}
34 // The value encoded by this Double must be greater or equal to +0.0.
42 // The value encoded by this Double must be strictly greater than 0.
64 if (d64_ == kInfinity) return Double(kInfinity).value();
70 return Double(d64_ - 1).value();
72 return Double(d64_ + 1).value();
119 // Precondition: the value encoded by this Double must be greater or equal
129 // Precondition: the value encoded by this Double must be greater than 0.