DQ library in eigen.h?