The top documents tagged [ieee754 round half]