max(i64) * i64
