Question

I would like to know (as I current don’t know and can’t find the answer) how to turn a number without a decimal point into a number with a decimal point.

Here is what I would like to happen.

Input         Output
1.20          1.20
1234          0.1234
0.23456       0.23456
4321          0.4321

So basically I need a PHP function that accepts an input number (from a form field, variable or whatever) and if a whole number add 0. (zero dot) to the beginning. If the input number already has a decimal leave as is (I will number_format afterwards).

Answer 1

This simple solution should do it.

function to_decimal($in){
    return (stripos($in, ".")!==false)? $in: "0.".$in;
}