C++ formatters for NSTimeZone and for CFBitVector