[tialaramex]

That's an i32 not a u32 - the operands are allowed to be say -1234 not only positive numbers apparently.