`dot` for non-real fields misses the conjugation

[lgoettgens]

julia> F, i = cyclotomic_field(4)
(Cyclotomic field of order 4, z_4)

julia> dot(i,i)
-1

any textbook definition would tell you that the result is 1 Hecke number fields would need something similar. and algebraic_closure(QQ)...