. "12.640000000000001"^^ . .