Do we have a floatingpoint bug?