Edit: fpu_control.h