The property test in fact found a bug: we were excluding numbers! (cherry picked from commit 018e2571aa)
018e2571aa