Now the problem is that if you simply execute this as a floating point operation, on, architecture x, the round off and you know the floating point semantics in architecture x maybe slightly different, from these semantics on architecture y. 