This change defines DOUBLE as the wire format for floats, since we have no way to truly parse or produce a float on the client side.  Fixes failing RPCSuite web.

Review by: mmendez


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@2194 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/client/rpc/impl/AbstractSerializationStreamWriter.java b/user/src/com/google/gwt/user/client/rpc/impl/AbstractSerializationStreamWriter.java
index a89fa39..366fd05 100644
--- a/user/src/com/google/gwt/user/client/rpc/impl/AbstractSerializationStreamWriter.java
+++ b/user/src/com/google/gwt/user/client/rpc/impl/AbstractSerializationStreamWriter.java
@@ -47,7 +47,7 @@
   }
 
   public void writeFloat(float fieldValue) {
-    append(String.valueOf(fieldValue));
+    writeDouble(fieldValue);
   }
 
   public void writeInt(int fieldValue) {
diff --git a/user/src/com/google/gwt/user/server/rpc/impl/ServerSerializationStreamReader.java b/user/src/com/google/gwt/user/server/rpc/impl/ServerSerializationStreamReader.java
index fea0b56..341ec10 100644
--- a/user/src/com/google/gwt/user/server/rpc/impl/ServerSerializationStreamReader.java
+++ b/user/src/com/google/gwt/user/server/rpc/impl/ServerSerializationStreamReader.java
@@ -329,7 +329,7 @@
   }
 
   public float readFloat() {
-    return Float.parseFloat(extract());
+    return (float) Double.parseDouble(extract());
   }
 
   public int readInt() {