BigDecimalを使おうか、あるいはJNIでCのライブラリを呼ぼうか、と色々考えたけど、 これでいいのかな？ public static double parseDouble(String text) { if ("2.2250738585072012e-308".equals(text)) { return 2.2250738585072012e-308; } else { return…