simplified <real> token