code: public void encodeFloat(FloatValue fv) throws IOException {
  		// encode mantissa and exponent
  		encodeIntegerValue(fv.getMantissa());
  		encodeIntegerValue(fv.getExponent());
  	}
docs: Encode a Float represented as two consecutive Integers. The first Integer
  represents the mantissa of the floating point number and the second
  Integer represents the 10-based exponent of the floating point number