3 ms·

>Lean is also a lot faster. What do you base that on? I don't think I've seen a performance comparison but I'm not great at internet searches.