cyclotomic integer