а я отвечу - если не 100% строго, то сложение и умножение - это проекция из A,А в A, одно из них с единицей, другое с нулём.
чтобы понять, является IEEE операции реально сложением и умножением надо проверить убдет ли NaN * 1 == NaN или нет и будет ли NaN + 0 == NaN