Method isDouble

source/python.js:13338–13340

()

                return this.value;
            }
            isDouble() {
                return this.tag === 'Double';
            }
            toDouble() {
                return this.value;
            }