Extending BinInt clone/copy to generate output of user-specifiable length.