How can I change the `'number set type'`

to solve below error?

where can I find information about `'number set type'`

Error: narrowing constraint violation For `'value'`

:

- expected: `'number set type'`

op type `'natural'`

- but found: `'number set type'`

of type `'integer'`

Error message for `'marge_1'`

in last line:

```
'marge_2': number 'tmi2' = division ( .'tienduizend' as '10^4' , .'marge_1' )
```

```
'margeinkoop': number 'inkoop%'
'inkoopprijs': number positive 'inkoop€' = ^ .'inkoopexclbtw'
'inkoop10^2': number '100' = from 'inkoop€' .'inkoopprijs'
'inkoop10^4': number '10000' = from 'inkoop€' .'inkoopprijs'
'honderd': number '10^2' = division ( .'inkoop10^2' as '100' , .'inkoopprijs' )
'tienduizend': number '10^4' = division ( .'inkoop10^4' as '10000' , .'inkoopprijs' )
'marge100': number '10^2' = from 'inkoop%' .'margeinkoop'
'marge_1': number '10^2' = sum ( .'honderd' , .'marge100' )
'marge_2': number 'tmi2' = division ( .'tienduizend' as '10^4' , .'marge_1' )
numerical-types
'inkoop%'
'inkoop€'
'10^2' //'marge10^2': number '10^2' = from 'inkoop%' .'MargeInkoop'
= '100' / 'inkoop€'
= 'inkoop%' * 1 * 10 ^ 0
'10^4' //'marge10^4': number '10^4' = from '10^2' .'tussenmarge1'
= '10000' / 'inkoop€'
= '10^2' * 1 * 10 ^ 2
'100' //'inkoop10^2': number '100' = from 'inkoop€' .'InkoopPrijs'
= 'inkoop€' * 1 * 10 ^ 2
'10000' //'inkoop10^2': number '10000' = from 'inkoop€' .'InkoopPrijs'
= 'inkoop€' * 1 * 10 ^ 4
```