+++ fixed int casting