用于十进制值的Android EditText不允许更改尾数

Question

在我的Android应用程序中，我使用EditText作为十进制值：

    <EditText
        android:id="@+id/valueEditor"
        android:layout_width="match_parent"
        android:layout_height="wrap_content"
        android:ems="10"
        android:inputType="numberDecimal" >

我用

double value; /* ... */
valueEditor = (EditText) v.findViewById(R.id.valueEditor);
valueEditor.setText(Double.toString(value));

用一个值填充此EditText。

现在的问题是像1.0E-9这样的值。可以更改指数，但除了删除数字之外，无法更改尾数。有没有人知道一个解决方案（除了显而易见的不使用inputType numberDecimal）？