"The agency said it had now added more flight-processing memory to the computer system."

int32_t to the rescue!