[ODE] Precision specific functions

[Jon Watte (ODE)]

Bill Sellers wrote:
> I don't mind if this is in addition but it is really very convenient  
> using dReal throughout a program and then you can experiment with the  
> performance/accuracy tradeoff by making a single change in a header  
> file. Replacing every system call would be a pain.
>   

I would assume that an API that uses f/d would also provide the 
non-suffixed function, which would continue to take dReal as today. 
Perhaps by using a #define -- similar to how W/A is used for 
Unicode/Ascii in the Windows API.

Cheers,

          / h+