use always 64-bit arithemtics#245
Merged
tkralphs merged 2 commits intocoin-or:masterfrom Feb 17, 2025
christoph-cullmann:use64
Merged
use always 64-bit arithemtics#245tkralphs merged 2 commits intocoin-or:masterfrom christoph-cullmann:use64
tkralphs merged 2 commits intocoin-or:masterfrom
christoph-cullmann:use64
