let
pretty fmt (v: t) =
display_one_from fmt 9999 v