PHP remove useless zero from decimal and number format

1) PHP remove useless zero from decimal

 floatval(1.0);

return 1
2) number format
number_format(100.23, 1, ',', ' ');
  return 100.2
3) return integer part
intval(4.2);
return 4