<?php

echo number_format(140.1, 2), PHP_EOL;