public void pushFloat(float f) { pushInt(Float.floatToIntBits(f)); }
/** Push signed 4 bytes. */ public void pushS4B(int i) { pushInt(i); }