in reply to Can you spot the problem?

It would be nice if use integer; changed this behaviour. But it does not.