Consistent use of size_t for casting pointers to integer type.

Second attempt finally yields a decent diff.