Patching a fatal bug that occurs whenever downscaling-factor is a floating point number.