[boost] New numeric cast