Oops, off by an order of magnitude, sorry. It’s been a while since I’ve seriously optimised anything in this sort of way (purely for fun).