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