Fix the comparison method of the ceilinged and floored division.

Also change the comments. The multiply-shift method would actually
work correctly too (but is a bit slower).
Use a different optimization for tagged integers in truncate.

Leave the divisor and final shift value as is. The result will
already be shifted by the right amount, so all that's needed is
a mask at the end.