Rephrasing reals a bit