Fix a bug of grnxx::alpha::map::DoubleArray for double.