JAVA_DOUBLE