/* The input JSON value should not be NULL or contain no JSON integer, otherwise it will ASSERT() and return 0. */
INT64 EFIAPI JsonValueGetInteger(IN EDKII_JSON_VALUE Json)
/* The input JSON value should not be NULL or contain no JSON integer, otherwise it will ASSERT() and return 0. */
INT64 EFIAPI JsonValueGetInteger(IN EDKII_JSON_VALUE Json)
{
  ASSERT (Json != NULL && JsonValueIsInteger (Json));
  if ((Json == NULL) || !JsonValueIsInteger (Json)) {
    return 0;
  }
  return json_integer_value ((json_t *)Json);
}