Stuck Between Theory and Real Numbers