Quiet a lot of 64-to-32-bit conversion warnings.