Names:

double, D rounding to the nearest IEEE 754 double (binary64).

Description:

Example 1:

   > display=binary!;
   > D(0.1);
   1.100110011001100110011001100110011001100110011001101_2 * 2^(-4)
   > D(4.17);
   1.000010101110000101000111101011100001010001111010111_2 * 2^(2)
   > D(1.011_2 * 2^(-1073));
   1.1_2 * 2^(-1073)
See also: single, printdouble, doubleextended, doubledouble, tripledouble, roundcoefficients, implementpoly, round