double precision floating point number example