The false positive rate I tuned for was lower than the total number of users, so chances are nobody ran into that problem. If this were a bigger service, yes,

The false positive rate I tuned for was lower than the total number of users, so chances are nobody ran into that problem. If this were a bigger service, yes, I would've done an exact check afterwards :-)