Quick switch between number format and exact/approximate results

[gehakte_bits]

Something like this ?

PHP Code:

// 2022.1016 pretty-prime v0.2b
#pragma mode(separator(.,;) integer(h32))

LOCAL fs;
KEY KS_Eex()                                // assigned to <<shift>> <<EEX>>
BEGIN 
  IF HFormat≠0 THEN 
    fs:=HFormat;                            // save orig setting
    HFormat:=0;                             // show standard format
  ELSE 
    IF fs≠0 THEN 
      HFormat:=fs;                          // show alt.format
    ELSE 
      HFormat:=1;                           // force alternate view
    END;
  END;
  RETURN -1;
END;