use extended-reals package