[math-fun] More on the solutions of a real cubic