DOC: better number format in example