in the progress of fixing INT/UINT bugs