Fix: floating point exception in UTX_MUL functions