<?php $foo = 4.05; printf("%.15f %.16f", $foo, $foo);
You have javascript disabled. You will not be able to edit any code.