print floating point zero as 0.0
@@ -963,8 +963,8 @@ fn print_number(&mut self, n: Number, op: &Option<DirectedOp>) {
match n {
Number::Float(fl) => {
if &fl == &OrderedFloat(0f64) {
- push_space_if_amb!(self, "0", {
- self.append_str("0");
+ push_space_if_amb!(self, "0.0", {
+ self.append_str("0.0");
});
} else {
let OrderedFloat(fl) = fl;
