code: function encodePrimitive_NUMBER(encoder, data, type) {
  
  	// Write header
  	encoder.log(LOG.PRM, "primitive.number, type="+_NUMTYPE[numType]+", n="+data);
  	encoder.stream8.write( pack1b( PRIM_OP.NUMBER | numType ) );
  	encoder.counters.op_prm+=1;
  
  	// Write data
  	pickStream( encoder, numType )
  		.write( packByNumType[numType]( data ) );
  
  }
docs: Encode a primitive number