different result under interpreter and compiler mode

[DerZc]

Hi,

Consider the following program:

.decl payb(A:float, B:float)
.decl uuyd(A:float)

payb(0.80300000000000082, 0.80300000000000082).
uuyd(F) :- payb(0.80300000000000082, F).

.output payb
.output uuyd

When I run it with souffle -w example.dl, I get 0.8030000000000008. I run it with souffle -w -c example.dl, I get empty result. Should they have the same result? The version of Souffle is 29c5921