#include "time32.h"
#include <time.h>

double __difftime32(time32_t t1, time32_t t2)
{
	return difftime(t1, t2);
}