RealXD -- use extended exponent real numbers

Description

RealXD -- a strategy value for LLL(...,Strategy=>...) used to specify that an approximate LLL basis will be constructed, using extended exponent real numbers. Useful if the integer entries are very large.

For the programmer

The object RealXD is a symbol.