benchmark

Allow the definition of 1k to be flexible. (#438)

When generating a human-readable number for user counters, we don't
generally expect 1k to be 1024. This is the default due to the more
general purpose string utility.

Fixes #437