Is 1/(1+sqrt(5)) an algebraic integer?