json numbers are now treated as double ( new feature: #834 )
@main[] $json[{ "bigint": 123456789012345 }] $o[^json:parse[$json]] ^json:string[$o]