Such a function could be passed into another function expecting an "int → int" function safely; it simply would not use the "float → float" functionality.
Takovéto funkce by měly být bezpečně přijaty v jiných funkcích očekávajících „int → int“, ale nemůžou použít funkcionalitu „float → float“.