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

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