1 2 3 4 5 6 7
open Format let precision = ref 20;; let pp x = print_string (Creal.to_string x !precision);;