Can IDA Break the 100-Billion-Dollar Mark? The Math Is Diffi