[boost] Re: Interest in custom numeric formatting?