4 ms·

But with $900 million, it wouldn’t be too difficult to come up with a compatible implementation that gets around that problem.