"This invocation calls a function that has the 'decides' effect, which is not allowed by its context."

[realTreqy]

Yeah, they’re integers