int_part.hh: Improve numerical stability

12 jobs for master in 311 minutes and 26 seconds (queued for 3 seconds)