<?php ini_set("precision", 100); echo 0.3;
You have javascript disabled. You will not be able to edit any code.