pub type Fp2 = (BigInt, BigInt);
An element a + b·i of 𝔽_{p²} = 𝔽_p[i]/(i²+1).
a + b·i
𝔽_{p²} = 𝔽_p[i]/(i²+1)