Python JSON writer with formatted floats - View it on GitHub