BTW I noticed that the clickhouse CLI has an interesting visualization trick: wide numbers have each third digit rendered with an underline style. That's as eff

BTW I noticed that the clickhouse CLI has an interesting visualization trick: wide numbers have each third digit rendered with an underline style. That's as effective as a thousands separator "," but you can copy paste the number into another program without having to edit the commas away