 diff -ru libcore/num/mod.rs libcore_patched/num/mod.rs
 --- libcore/num/mod.rs	2015-07-02 13:02:27.903621378 +0800
 +++ libcore_patched/num/mod.rs	2015-07-02 13:02:04.784163432 +0800
+@@ -22,1 +22,1 @@
+-use marker::{Copy, Sized};
++use marker::{Copy};
 @@ -46,2 +46,4 @@
 +#[cfg(not(disable_float))]
  pub mod flt2dec;

 
 /// The `Rem` trait is used to specify the functionality of `%`.
 ///
@@ -441,6 +428,7 @@
 
 rem_impl! { usize u8 u16 u32 u64 isize i8 i16 i32 i64 }
 
+#[cfg(not(disable_float))]
 #[stable(feature = "rust1", since = "1.0.0")]
 impl Rem for f32 {
     type Output = f32;
@@ -460,6 +448,7 @@
     }
 }

 #[stable(feature = "rust1", since = "1.0.0")]
 impl Rem for f64 {
     type Output = f64;
@@ -542,7 +534,9 @@
 }
 
