How is a discriminated union implement in Pascal?

How is a discriminated union implement in Pascal?

Both discriminated and non-discriminated unions are used e.g.
type intreal = record tag : Boolean of
true : (blint : integer);
false : (blreal : real);
end;