i32 * max(i64)
