fix type issues in stdint.h so underlying types of 64-bit types match ABI

[musl] / src / time / difftime.c

#include <time.h>

double difftime(time_t t1, time_t t0)
{
        return t1-t0;
}