<?php


function strip_zeros($number) {
	return preg_replace("/\.?0+$/", "", $number);
}

echo strip_zeros(3.0) , PHP_EOL;
echo strip_zeros(3.1) , PHP_EOL;
echo strip_zeros(10000001.0) , PHP_EOL;
echo strip_zeros(10000001.1) , PHP_EOL;