Append three to positive integer (#8639) - Basecamp