mathlib3

feat(meta/pformat): format! macro using `pp` instead of `to_fmt`

#1194

Merged