I can see that multiplying a NaN with a number delivers a NaN (which is expected), but it also raises both overflow and inexact flags which is not expected. Concrete example: fpu_op_i 2 opa_i fffd3b35 opb_i 407ad880 rmode_i 0
overflow_o 1 ine_o 1