[Eigen] now default type (back compatibility is a pain…)