The top documents tagged [mul int mul]