[boost] bug in boost/date_time/time_system_split.hpp - wrong static_cast