Function parse_file

src/framework/io/json.cpp:306–308

    return number_value_;
}

int64_t Value::as_i64() const {
    const double value = as_number();
    if (!std::isfinite(value) || std::floor(value) != value) {
        throw std::runtime_error("json number is not an integer");
    }