fix a few more 64-bit conversion cores