No need for a cast here - a_XpTotal is already an int.