Topic/computable reals