4 ms·$69M for the US budget is a rounding error.by myrandomcomment 8y ago$69M for the US budget is a rounding error.