[boost] How to find: best integer type for processor