[math-fun] Possibly naive question about algebraic numbers