[boost] [any] numeric values that cast to same or more precision