RealRR -- use arbitrary precision real numbers

Description

RealRR -- a strategy value for LLL(...,Strategy=>...) used to specify that an approximate LLL basis will be constructed, using arbitrary precision real numbers.