Encoding numeric as number in json string (instead as string)