{ example0 = Double/show -0.42, example1 = Double/show 13.37 }