Cardano's_formula loading ...