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

## For the programmer

The object DoublePrecision is an integer.