min(i64) % i32
