<?php
function strip_zeros($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;
PD9waHAKCgpmdW5jdGlvbiBzdHJpcF96ZXJvcygkbnVtYmVyKSB7CglyZXR1cm4gcHJlZ19yZXBsYWNlKCIvXC4/MCskLyIsICIiLCAkbnVtYmVyKTsKfQoKZWNobyBzdHJpcF96ZXJvcygzLjApICwgUEhQX0VPTDsKZWNobyBzdHJpcF96ZXJvcygzLjEpICwgUEhQX0VPTDsKZWNobyBzdHJpcF96ZXJvcygxMDAwMDAwMS4wKSAsIFBIUF9FT0w7CmVjaG8gc3RyaXBfemVyb3MoMTAwMDAwMDEuMSkgLCBQSFBfRU9MOw==