Add int casting