Earlier quoted context omitted.
> whilst "int.add" and "float.add" are alternative implementations of the same signature. Maybe in a functional programming language like Haskell. But not in C++.
The syntax was just an example ;) What I described is actually closer to ML.
Has nothing to do with syntax.