> that number is overall authorized funding for many things. Intel has received ~10b until now.

They were promised $10B. They had received only about $2B.