added a global define for default double precision printing format