Replace ArrayRealVector with raw double[]