Increased precision of floatp print/tostring to 16 digits as double type.