All other answers are NOT RIGHT, because PHP's division will always return float values, as is stated clearly in official manual PHP: Arithmetic Operators , except for cases when two operands are both integers which can be evenly divided.
In fact, the question is wrong: the code should produce 0.923..., as was expected from the questioner.
Sarcastically, the voted-down answer (came from @BulletProof47) is the only other one which is just NOT WRONG (but also meaningless). Who knows what he was thinking, but I bet everybody knows why it was voted down :D
In case who is interested, the underlying function which does division in php is div_function
, located in Zend/zend_operators.c
, shown below:
ZEND_API int div_function(zval *result, zval *op1, zval *op2 TSRMLS_DC) /* {{{ */
{
zval op1_copy, op2_copy;
int converted = 0;
while (1) {
switch (TYPE_PAIR(Z_TYPE_P(op1), Z_TYPE_P(op2))) {
case TYPE_PAIR(IS_LONG, IS_LONG):
if (Z_LVAL_P(op2) == 0) {
zend_error(E_WARNING, "Division by zero");
ZVAL_BOOL(result, 0);
return FAILURE; /* division by zero */
} else if (Z_LVAL_P(op2) == -1 && Z_LVAL_P(op1) == LONG_MIN) {
/* Prevent overflow error/crash */
ZVAL_DOUBLE(result, (double) LONG_MIN / -1);
return SUCCESS;
}
if (Z_LVAL_P(op1) % Z_LVAL_P(op2) == 0) { /* integer */
ZVAL_LONG(result, Z_LVAL_P(op1) / Z_LVAL_P(op2));
} else {
ZVAL_DOUBLE(result, ((double) Z_LVAL_P(op1)) / Z_LVAL_P(op2));
}
return SUCCESS;
...