function pushRealToken(data, isFloat, start, end) {
        if (isFloat) {
            tokens.push(new Token(TokenKind.LITERAL_REAL_FLOAT, data, start, end));
        }
        else {