DD.empty constructor

DD.empty()

Creates a new DoubleDouble with value 0.0.

Implementation

DD.empty() {
  init(0.0);
}