fixed a serious bug in ints_to_eigen that was killing performance