The top documents tagged [ieee double precision]