[boost] [serialization] use with facets for non-finite numbers