doc: a couple more edits to the FAQ entry on integer arithmetic.