> This issue is present in 4.8.1 as well as trunk. However, I think 4.8 > uses a different API for double_int, so this patch will need to be reworked for > 4.8.
Actually, I was confused. This patch applies to 4.8.1 as well and fixes the issue. Passes bootstrap on x86_64-linux-gnu and testing arm-none-eabi. Therefore, OK to backport to 4.8 as well? Thanks, Kyrill
