combinator parser mit reals