max(ok ? div : i64)
