 diff -ru libcore/lib.rs libcore_patched/lib.rs
 --- libcore/lib.rs	2015-07-02 13:02:27.899621472 +0800
 +++ libcore_patched/lib.rs	2015-07-02 13:02:04.780163524 +0800
-@@ -111,7 +110,9 @@
+@@ -114,7 +110,9 @@
  #[path = "num/u32.rs"]  pub mod u32;
  #[path = "num/u64.rs"]  pub mod u64;
  

     /// Returns the square root of an `f32`
     pub fn sqrtf32(x: f32) -> f32;
     /// Returns the square root of an `f64`
@@ -489,7 +492,9 @@
     pub fn roundf32(x: f32) -> f32;
     /// Returns the nearest integer to an `f64`. Rounds half-way cases away from zero.
     pub fn roundf64(x: f64) -> f64;

 #[path = "num/f64.rs"]   pub mod f64;
 
 #[macro_use]
@@ -160,2 +150,3 @@
 #[cfg(not(stage0))]
+#[cfg(not(disable_float))]
 pub mod simd;
diff -ru libcore/num/flt2dec/decoder.rs libcore_patched/num/flt2dec/decoder.rs
--- libcore/num/flt2dec/decoder.rs	2015-07-02 13:02:27.903621378 +0800
+++ libcore_patched/num/flt2dec/decoder.rs	2015-07-02 13:02:04.784163432 +0800
