@eagleoutice/flowr - v2.10.1
    Preparing search index...
    PosIntervalTop: PosIntervalValue = ...

    The Top element of the positive interval domain as interval [0, +∞]