"% coverage" for Number documentation