<?php

echo number_format(3.0, 1, ".", "") + 0; // 3
echo PHP_EOL, number_format(1.1, 1, ".", "") + 0; // 1.1
echo PHP_EOL, number_format(10000001.1, 1, ".", "") + 0; // 10000001.1
echo PHP_EOL, number_format(10000001.0, 1, ".", "") + 0; // 1000000