[fix] replaced DoubleReal and Real in pxd files