Round double precision integer