Handle Integer64 correctly.