Mathics uses 64bit of machine precision

[sn6uv]

The Mathics precision system needs some reworking. We're currently using 64 bits of precision (plus some bits for the exponent etc.) but we should be using 53 (on 64-bit systems).

We could even consider using python floats for machine precision numbers (should give some performance gains for numerical stuff e.g. plotting).