Bug-fix: int > uint64