<?php ini_set('precision', 4); echo 1.23456789;
You have javascript disabled. You will not be able to edit any code.