# double-conversion Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.