Change the argument to getIntegerSCEV to be an int64_t, rather