Conversion routines for IEEE doubles
