Further bug fixes related to 64-bit unsigned longs.