Code

- Adding debian/patches/bts428778-floating-point-exception to fix a corner