Lines Matching defs:double
74 // IEEE 754 double-precision format.
79 double d;
120 scfx_ieee_double(double);
123 scfx_ieee_double &operator = (double);
126 operator double() const;
161 inline scfx_ieee_double::scfx_ieee_double(double d) : m_id()
173 scfx_ieee_double::operator = (double d)
186 inline scfx_ieee_double::operator double() const
564 // Computes 2.0**exp in double-precision.
567 inline double
593 // Platform independent conversion from double uint64 to double.
597 inline double
601 // conversion from uint64 to double not implemented; use int64
602 double tmp = static_cast<double>(static_cast<int64>(a));
605 return static_cast<double>(a);