in build/sizes.c [60:62]
double readInt64AsDoubleFromPointer(int64_t *input) { return (double)(*input); }