real-supinf expanded
real-limit expanded
real-abs expanded
