double readInt64AsDoubleFromPointer()

in build/sizes.c [60:62]


double readInt64AsDoubleFromPointer(int64_t *input) {
    return (double)(*input);
}