public void encodeWithCoder(Object receiver, NSCoder coder) { _encodeUTF8("f", coder); coder.encodeFloat(((Float) receiver).floatValue()); }