DoBitI should not cast ToInteger32 for SMI.