double precision support for the PrintF function