use rounded floats if they safe digits

Sometimes the floats seems to be rounded to twelve decimal
places. we round them if it allows so safe digigts.