Comment by Koshkin

Looks like the set of reals is simply taken as the number universe (i.e. all numbers are already assumed to be real).