[Jefferson]

I think the PIDController is getting integer counts ranging from 0-1024.
Interestingly, we've been using the HOT_PID controller for years, starting in 2010. Now, we are doing exactly the same thing this year, switching over to commands and WPI PIDController.
This was confusing to us as well when we switched over. Try reading armPot->GetAverageValue. That should give you the same value as the PIDGet function.
Just give it an integer value in the 0-1024 range instead of the 0-5V range, and you should be good.

And thanks for the years of use from the HOT_PID.