Conway base 13 function