ovsdb: In documentation, add commas to make large numbers easier to read.