Implemented xonvert_xn_to_double for drand48.

This takes an Xn and outputs the double representation of it.