Fix broken __read_real.