max(i64) * i32
