How to get whole part of a number in php

<?php $num=7.05;

echo floor($num);

?>