real/double, publicTypes.h