fixing bug in num2binSizeRec