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