angr.procedures.java\_lang.double ================================= .. automodule:: angr.procedures.java_lang.double