Add dual solutions and fix incorrect float-correction.