[boost] meta-double