min(i32 ** 1 ^ i64)
