I discovered yesterday the Square packing in a square problem, and I ended up on this page that shows the proven answers for the first 89 values of $n$.
But at the end of some answers, we can see a plus sign:
$s = \frac{17}{2} + \frac{\sqrt{7}}{2} = 9.822+$
What does this sign mean in this context?