fix issue #1 about big integer for Neko.