Deep reals