Ported fdlibm
%f printf formatting
Fix warning
Restart interrupts