Field bigger than $\mathbb{R}$ Is there any field containing $\mathbb{R}$ for which every non-empty subset has an infimum and a supremum in that field?
I am trying to understand whether $\overline{\mathbb{R}}$ (which is not a field) is the best possible.

If it's an ordered field with $\mathbb{R}$ as a proper subfield, then it's not hard to show that it has nonzero infinitesimals, i.e. numbers $\varepsilon > 0$ such that
$$
\underbrace{\varepsilon + \cdots +\varepsilon}_{n\text{ terms}} < 1
$$
no matter how big a finite cardinal number $n$ is.  So what is the least upper bound of the set of all infinitesimals?  Call it $c$.  Is $c$ itself an infinitesimal?  If so, then so is $2c$ (that's an easy exercise that takes a second or two), but that contradicts the fact that $c$ is an upper bound.  But if $c$ is not an infinitesimal, then neither is $c/2$ nor anything between $c$ and $c/2$ (another easy exercise), and that contradicts the "leastness" of the least upper bound.
Therefore every ordered field with $\mathbb{R}$ as a proper subfield fails to have the least upper bound property.
Later edit: How does one show that which I said in the first paragraph is not hard to show?  Let's suppose $a$ is a member of this larger field.  Then either $|a|$ exceeds all positive reals, or is smaller than all positive reals, or some positive reals are less than $|a|$ and some greater.  In the first case let $\varepsilon = 1/|a|$; in the second let $\varepsilon = |a|$.  In the third case the set of reals $\le |a|$ has a least upper bound (within the real field) $b$.  Then let $\varepsilon=|b-|a||$.
