Fix preceding zeros in double_to_string method