/***************************** PDI STD File ***********************************
This file is third party source, taken from the open source uClibc++ library and
used here with modifications. Thanking to author for providing this .

for the license terms of this file refer the source link below.

referred from   : https://github.com/mike-matera/ArduinoSTL
added Date      : 1st Dec 2024
added by        : Suraj I.
******************************************************************************/

#include <setjmp.h>

#ifndef __PDISTD_HEADER_CFLOAT
#define __PDISTD_HEADER_CFLOAT 1


#include <float.h>


#endif

