max(i64) / i64
