util::pretty_print_float is buggy with integers having trailing zeros #374

Closed Yomguithereal closed 5 days ago