[viff-devel] Floating point operation [Re. to Martin's message]

[Mikkel Krøigård]

> If you promise not to exceed certain bounds, you can add and multiply these
> things

Well I should have said we can multiply by KNOWN rationals :)