[boost] [ICL] cardinality of float interval