Good catch -- with interning, the cutoff is more like 20-50, so it's probably not worth optimizing for.

Before:
1 --> 1.67e-07
2 --> 1.77e-07
3 --> 1.90e-07
4 --> 2.05e-07
5 --> 2.14e-07
6 --> 2.35e-07
7 --> 2.51e-07
8 --> 2.67e-07
9 --> 2.76e-07
10 --> 3.01e-07
20 --> 5.43e-07
50 --> 1.58e-06
100 --> 4.35e-06
200 --> 1.19e-05
500 --> 5.11e-05
1000 --> 1.64e-04

After:
1 --> 1.79e-07
2 --> 2.07e-07
3 --> 2.22e-07
4 --> 2.35e-07
5 --> 2.65e-07
6 --> 2.89e-07
7 --> 3.02e-07
9 --> 3.45e-07
10 --> 4.15e-07
20 --> 6.69e-07
50 --> 1.45e-06
100 --> 2.99e-06
200 --> 5.64e-06
500 --> 1.42e-05
1000 --> 2.96e-05