[math-fun] Cubic eqn with 3 real zeros, again