Fixing JSON issues with ints in examples

0 jobs for !140 with maintenance/json_ints
latest merge request