Add documentation to real.h