Double php-java PHPJava\Kernel\Types\_Double Introduction _Double class is provided APIs for emulating Java's double on PHPJava. How to use TBD Provided methods TBD