The conversion mechanism simply generalizes the ad hoc conversion rules (such as indeed between INTEGER and REAL) that exist in most programming languages, making them applicable to any type as long as the above principle is observed.
Механизам конверзије једноставно генерализује у правила конверзије (као наравно између INTEGER и REAL)који постоји у већини програмских језика, чинећи их применљивим за било који тип све док је горњи принцип посматран.