Update doc comment for Int trait