Erweitern geht sowieso nicht, da Records und normale Typen keine Vererbung kennen
Aber "Record Helper" für normale Typen wäre schon was schönes
Einen Record, darin einen Integer, noch die ganzen Operatoren und vorallen die implizizen und expliziten Typumwandlungen und schon hast du einen erweiterten Integer.