Hmm, you can use an integer in a float operation without any modification.
BUT: if you mean "how can I print 12.00 instead of 12", then use the number_format function
$number = 12;
print "The number is: " . number_format($number, 2);
there are more usages for number_format (you can put in commas, delimiters, etc). Check out it's manual entry:
http://www.php.net/manual/en/function.number-format.php
-sridhar