Opcodes
PHP Manual

DIV

PHP code

<?php
/*
 * Divides "value1" by "value2" and stores the result into "result".
 * opcode number: 4
 */
echo 6/3;
?>

PHP opcodes

Function name: (null)

Compiled variables: none

line#op fetchextreturn operands
60 DIV   ~0 6,3
 1 ECHO     ~0
72 RETURN     1

Opcodes
PHP Manual