Moved sqrt implementation from aern-interval to aern-real.