Assume I have an embedded system with a processor that has a FPU on it (just to be clear, I’m not talking about a specific micro-controller, I’m trying to understang the subject in a broad manner).