fix the new floating point intrinsics#9997
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 21, 2013
thestinger:float
Merged
fix the new floating point intrinsics#9997bors merged 1 commit intorust-lang:masterfrom thestinger:float
bors merged 1 commit intorust-lang:masterfrom
thestinger:float
