[Bug 6466] Display 64d instead of the real numbers