Fixed int casting