moved the eigen example to double precision