Prints a string representation of x to os.

Implicit bounds are indicated with an asterisk, as in "[5, 10*]" (for an implicit upper bound), [5*, 10] (for an implicit lower bound), and [5*, 10*] (if both bounds are implicit).