Now that Brian Krzanich of Intel has resigned from the President’s Manufacturing Council, he will have more time to FIX FLOATING-POINT BUGS!