scripts/jsonextractimages: Use the appropriate file extension.
scrips/jsondiff: Handle NaNs correctly.