scripts/size: convert and AWK call to 'sh', using 2 steps because we cannot calc with floats