DoublePrecision -- a constant equal to 53 (the number of bits of precision)

For the programmer

The object DoublePrecision is an integer.

The source of this document is in NumericalAlgebraicGeometry/doc.m2:1021:0.