3 ms·

Probably it generates 32 bits twice.