Disambiguation page
There are many different types which are called real numbers in the literature. These include:
MacNeille real numbers? or Dedekind-MacNeille real numbers
unit interval based real numbers
Euclidean real numbers? or Escardo-Simpson real numbers
The various types of real numbers defined by Peter Freyd using various definitions of the co-algebraic unit interval.