2 ms·

obviously not well, but a one-off sale is a relatively uncommon transaction, so it doesn't get optimized for.