On: C0, an Imperative Programming Language for Novice Computer Scientists (2010) [pdf]

[recursive]

It is defined and you can do it in C without using floats. On the other hand, even if you do use floats, arbitrary arithmetic is not invertible. In other words a / b * b isn't necessarily a, regardless of what types they are.