(Trying to ensure that the value of BIG_MANTISSA_LOSS_PRICE won't become  outdated.)