title: adding trailing zeros to php string if not in format
body: <p>Have a text box which get data for price.
  If someone enter something like "3." i want to get it converted to "3.0"
  i cannot append "0" simply in the end because then if it is "100" gets converted to "1000"</p>
  
  <p>Also is_numeric("3.") returns 1.</p>
  
  <p>Whats the possible way round? </p>