<html><head><title>printf: %f</title></head><body><?php$number = 543;printf("Double: %f<br>", $number );?></body></html>
