Type Definition cyclotomic::fields::Z

type Z = BigInt;