Polish notation on real numbers