基本的にSolveは多倍長数や記号を用いた厳密な解、NSolveは浮動小数を用いた近似解を
想定しているけど、Solveで浮動小数を用いると、NSolveと同じ結果になって、Solveの本来
意図した結果とは異なることがありますよ、と言う意味だと思う。

浮動小数による数値解を求める時には、最初からNSolveを使った方が早いらしい。
(少なくとも昔は) Mathematicaでは式の中で小数があると、式のデータを全て浮動小数と
して扱うので計算が速くなる。 Mathematica bookのどっかに書いてあった気がする。