min(i32 / i64, score(1))
