[TS] Correctly pass u64s from TS to C, using BigInts