MOLD changes to obtain "accurate enough" representations of decimals in Linux and Android