code: public double[] getDoublePivot () {
        double[] vals = new double[m];
        for (int i = 0; i < m; i++) {
           vals[i] = (double) piv[i];
        }
        return vals;
     }
docs: Return pivot permutation vector as a one-dimensional double array
  @return     (double) piv