Added MPFR golden model implementation (works but still need to add feature to extract complete register)