RealFP -- use double precision real numbers

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