fix int2bin