Saving and restoring floating point modes is somewhat expensive, so that has to be taken into account.
Saving and restoring floating point modes is somewhat expensive, so that has to be taken into account.