fix bug: binary in number cann't convert to term