The index_t and EIGEN_DEFAULT_DENSE_INDEX_TYPE is now consistent
No major difference detected for specmicp when using index_t std::ptrdiff_t or int. Left with std::ptrdiff_t.