framework/resources/Functional/convert/convert25.q (1 lines of code) (raw):

select cast(convert_to(`integer`, 'SIMPLEJSON') as varchar(20)) from `input2.json`;