int cast added