Do these need to be atoi64() calls?