Temporary fix to nax_int value to avoid underflow.