- use static_cast in operator<<(ostream, xa_value_t)