[Boost-users] [Units] conversion between double and millimeter