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.