replaced remnant DoubleReal