title: How can I delete extra zero in a number in mysql?
body: <p>For example,I input the number,it will input the format number.</p>
  
  <pre><code>if I input 0010,it return 10;
  if I input 0.0200,it return 0.02;
  if I input 0.10,it return 0.1;
  </code></pre>
  
  <p>I try to use this code,but it do not work.Can I defined a function or a stored procedure to encapsulate this business functionality?</p>
  
  <pre><code>select rtrim(00.40)
  </code></pre>