formatObjective

Render an objective-function value for human display.

• +Double.MAX_VALUE / Double.POSITIVE_INFINITY → "+∞"

• -Double.MAX_VALUE / Double.NEGATIVE_INFINITY → "−∞"

• NaN → "—" (em-dash, "not yet evaluated")

• everything else → four-digit fixed precision ("%.4f")

Solvers commonly seed the "no feasible solution yet" state with the ±Double.MAX_VALUE sentinel; printing that as a 309-digit decimal alarms users without conveying meaning. Mapping the sentinel to the infinity symbol matches its intent.

Substrate-level API — usable by any UI shell (Swing live panels, HTML reports, CLI status output, etc.) so the same value always renders the same way.