A numeric formatting benchmark from Boost Spirit