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