#HoTT The real Numbers in homotopy type theory