Redirecting to Conway base 13 function