Added integer casting using shifts