FoldScalars() and FoldVectors() currently operate on 32-bit integers only. They should be extended to handle 64-bit arithmetic as well.