Bash Add Integer Variables In Batch Script Documentation Needed