title: Formatting a float number without trailing zeros
body: <p>When I do a simple division in Python 3, such as 123000/1000, I get 123.0, or 4/2 I get 2.0. How do I get rid of the trailing zero in Python 3's division?</p>
  
  <p>EDIT:
  I don't want just simple integer division. For ex, 1234/1000 should give 1.234. 
  To be clear, this question is about formatting the output, not internal representation.</p>