php float value
By Lorena Zemlak at Jun 18 2019
convert a value to a float in php
By Moses Sawayn at Apr 20 2020