ki beszélt lebegőpontosságról? ennek semmi köze ahhoz, hogy egy spec és egy implementáció kombóról kicsikét se egyszerű eldönteni, hogy ekvivalens-e.