fix: work around abort() in allowed int overflow