Fix bug 583: add compile-time check that DenseIndex is signed