prox pe-xx (double x)