3 ms·

I have exactly 719 packages on my Gentoo box, just rebuilt everything as part of the profile 23 upgrade.