8 SA0054 Floating point comparison [...] point of exit CP

generates FPU (Floating point unit) specific