[Boost-users] date_time: number of days between dates