Could you add your comment to `FloatingPointControl`'s documentation? With addition of "Defining platform depending behavior" section and "Bugs" section? It will really help a lot for people to understand what really happens.