- Add workaround for lack of extended-precision, from martynas@. Fixes the build. XXX - to be removed later.