<?php
$value = 10/1.0;
if (is_double($value) && fmod($value, 1.0) !== 0.0) {
$value = (int) $value;
}
echo var_export($value , true);
- Output for 7.0.2 - 7.0.20, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- 10.0
- Output for 5.5.24 - 5.5.35, 5.6.8 - 5.6.28, 7.0.0 - 7.0.1
- 10
preferences:
148.77 ms | 402 KiB | 213 Q