python convert float to string without rounding