doc: edits to the FAQ entry on why we use machine integer arithmetic.