Update changelog: Casting from string to number
Update changelog: Casting from string to number

As suggested by @jfdm, this reflects the changes done in #3603.

markuspf/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,jmitchell/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,kojiromike/Idris-dev,FranklinChen/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,jmitchell/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev