Workaround for dart2js int64 bug (using unofficial fixnum library)