Definition jsonBounds (b : boundsT) : json :=
  JsonObject [
    ("XMinimum", JsonFloat (boundsXMinimum b));
    ("XMaximum", JsonFloat (boundsXMaximum b));
    ("YMinimum", JsonFloat (boundsYMinimum b));
    ("YMaximum", JsonFloat (boundsYMaximum b));
    ("ZMinimum", JsonFloat (boundsZMinimum b));
    ("ZMaximum", JsonFloat (boundsZMaximum b))
  ].
