Renamed BardVMInteger back to BardInteger etc.