Back to Real numbers
Pastel provides support for interpreting the float and double types as modeling the Real concept. This support is included in mytypes.h, i.e. virtually automatically.
float
double
mytypes.h