Enhancing bit-accurate translation to/from Mathematica