Extrai e processo o linenumber do grep devido a um erro no windows (porque o número extraído é uma string)

Question

Eu tenho um problema com linenumbers extraídos de um resultado grep. O Windows (gitBash) não pode compará-los, porque o número é uma string e não um número (meu macOS faz isso sem problemas).

What i want to do is: add a leading zero to the line numbers if they are smaller than 10

Aqui está o snippet de código:
local number="" local command="" # grep complete list and itereate over this list grep -n --color=always "${1}" "${2}" | while read -r greppedList ; do for ln in "${greppedList}" ; do # split the line to number and command number=$(echo ${ln} | cut -d ':' -f 1) if (( ${number} < 10 )) ; then command="${ln:2:${#ln}-1}" else command="${ln:3:${#ln}-1}" fi printWithFormattedLineNumbers "${number}" "${command}" done done
O problema no Windows é essa linha if (( ${number} < 10 )) ; then .
Windows não pode compará-lo porque não é o número.

Você pode me ajudar a mudar a maneira de obter o lenço de papel?