3 ms·How many of those 20k operators are useful though?by jacobolus 9y agoHow many of those 20k operators are useful though?