[PATCH] Coverity defect 1135443

Hi,
  Coverity detected a possible division by zero in
src/format/Format.cc line 500, on a Token->divisor.
The defect is a false positive as that value is correctly initialized,
but it could be a chance to document as a class invariant that that
value must not be zero, and initialize it to 1 in the default
constructor.
Attached patch does just that.

-- 
    /kinkie