Как обрабатывать целые числа, слишком большие для uint64_t в синхронном расширении Dart?

Когда пользователь передает число больше 2^64 - 1 к нативной функции, то целое число не может вписаться в unit64_t,

Как проще всего написать синхронное собственное расширение, которое может обрабатывать целые числа произвольно большого размера? Поскольку, как представляется, мы должны использовать API Dart_Embedding для получения значений из экземпляра Dart_NativeArguments, как мы можем получить эти значения без потери точности?