Proper definition of Use_Double_Precision flag