Real Natural Numbers