i ^ i32 == i64 * i
