dot-digit256 function

Extract the n-th digit of a duocentehexaquinquagesimal number