Properly add integers in bash.