I start to get the feeling that the float parts of core are too huge to have them linked into every rust program. Besides, #2187 suggests an overhaul of math. So is it time to pull it into a separate lib, just like in C, and only keep as few as possible but required minimal bits in core?