The top documents tagged [greatest integer x]