The radix 2^51 trick (2017)