The top documents tagged [integer dividesub double]