Second-order arithmetic formalizes both natural and real numbers. Though it has a host of issues with inference.