HOTT - fixed wrong operation order

Multiply first to prevent rounding error.