Add submodule for reals.