Add prose for exec numerics and fma

[ngzhian]

Think the fma prose and definition can be moved up to be with the rest of the float operations, since it is not specific to relaxed operators.

[ngzhian]

Ping