I am simulating a very simple circuit using a ac voltage source and the INA128 (image attached). I find that the amplified voltage can become arbitrarily large (if the input voltage is 1V and G=10000, I find VF1 = 10kV). Is the amplifier saturation not included in the model? If it isn't, is it possible to include it somehow?