I've found the description of floating point types (here
<https://www.postgresql.org/docs/10/datatype-numeric.html#DATATYPE-FLOAT>),
but I'm looking for the rationale of the output format, particularly
with respect to total digits presented (variable in a single select's
output) and the dropping of a trailing zero (to some implying a loss of
precision). Is the code my only guide here?