replace-floating-point-with-integer.patch
