[boost] [lexical_cast] optimization commited to HEAD