<?php ini_set('precision', 16); echo (int) ((0.7 + 0.1) * 10);
You have javascript disabled. You will not be able to edit any code.