fix integer overloading