make format_full_time work on 64 bit systems too: need to use time_t and no int

[libi2ncommon] / pclint.lnt

// PC-Lint 9.00 settings

// Don't complain about bitset<7>::set return value
-esym(534, std::bitset<*>::set)
-esym(534, std::bitset<*>::reset)