The top documents tagged [real numberex]