Conway's base 13 function[4003/371293]