[FIX] DoubleReal -> double